libc

Constant CTLFLAG_KERN

Source 
pub const CTLFLAG_KERN: c_int = 0x01000000;