Constant libc_interface::CTLFLAG_KERN

pub const CTLFLAG_KERN: c_int = 0x01000000;