Constant seL4_X86_LargePageObject

pub const seL4_X86_LargePageObject: Type = 9;