Constant seL4_X86_EPTPML4EntryBits

pub const seL4_X86_EPTPML4EntryBits: u32 = 3;