Constant seL4_X86_PageTableObject 

pub const seL4_X86_PageTableObject: Type = 10;