linux_raw_sys::prctl

Constant PR_PPC_DEXCR_NPHIE

Source 
pub const PR_PPC_DEXCR_NPHIE: u32 = 3;