Constant seL4_X86_PageTableObject

pub const seL4_X86_PageTableObject: Type = 10;