Constant seL4_X86_EPTPDBits 

pub const seL4_X86_EPTPDBits: u32 = 12;