Constant DDKERNELCAPS_FLIPVIDEOPORT 

pub const DDKERNELCAPS_FLIPVIDEOPORT: i32 = 16i32;