Constant seL4_X86_EPTPDEntryBits 

pub const seL4_X86_EPTPDEntryBits: u32 = 3;