Constant PROC_KPTI_STATUS_ACTIVE 

pub const PROC_KPTI_STATUS_ACTIVE: c_int = 0x80000000;