Constant seL4_X86_EPTPDPTObject 

pub const seL4_X86_EPTPDPTObject: u32 = 16777212;