Constant PR_PPC_DEXCR_CTRL_MASK 

pub const PR_PPC_DEXCR_CTRL_MASK: u32 = 31;