Constant seL4_ARM_LargePageObject 

pub const seL4_ARM_LargePageObject: Type = 10;