Constant DDKERNELCAPS_FLIPOVERLAY 

pub const DDKERNELCAPS_FLIPOVERLAY: i32 = 32i32;