Constant seL4_X86_EPTPDPTBits 

pub const seL4_X86_EPTPDPTBits: u32 = 12;