pub const DDKERNELCAPS_FLIPVIDEOPORT: i32 = 16i32;