Constant seL4_X86_LargePageObject 

pub const seL4_X86_LargePageObject: Type = 9;