Constant seL4_X86_EPTPML4Bits 

pub const seL4_X86_EPTPML4Bits: u32 = 12;