Constant sel4_sys::seL4_PUDEntryBits

pub const seL4_PUDEntryBits: u32 = 3;