Constant seL4_PUDEntryBits 

pub const seL4_PUDEntryBits: u32 = 3;