linux_raw_sys::prctl

Constant PR_PPC_DEXCR_IBRTPD

Source 
pub const PR_PPC_DEXCR_IBRTPD: u32 = 1;