Constant seL4_ARM_HugePageObject 

pub const seL4_ARM_HugePageObject: Type = 7;