Constant seL4_ARM_PageTableObject 

pub const seL4_ARM_PageTableObject: Type = 9;