Constant X64_CR0_PE 

pub const X64_CR0_PE: u64 = 0x0000000000000001;