Constant seL4_X86_EPTPDBits

pub const seL4_X86_EPTPDBits: u32 = 12;