Constant seL4_IOPageTableEntryBits 

pub const seL4_IOPageTableEntryBits: u32 = 3;