Constant seL4_X86_EPTPTBits 

pub const seL4_X86_EPTPTBits: u32 = 12;