Constant sel4_sys::_object::seL4_ARM_PageTableObject

pub const seL4_ARM_PageTableObject: Type = 11;