Constant seL4_X86_EPTPDObject 

pub const seL4_X86_EPTPDObject: u32 = 16777211;