Constant PR_PPC_DEXCR_IBRTPD 

pub const PR_PPC_DEXCR_IBRTPD: u32 = 1;