Constant seL4_PDPTEntryBits 

pub const seL4_PDPTEntryBits: u32 = 3;