Constant CTLFLAG_KERN 

pub const CTLFLAG_KERN: c_int = 0x01000000;