Constant seL4_X86_EPTPDPTEntryBits 

pub const seL4_X86_EPTPDPTEntryBits: u32 = 3;