Constant seL4_X86_EPTPTEntryBits 

pub const seL4_X86_EPTPTEntryBits: u32 = 3;