Constant X64_CR4_PVI

pub const X64_CR4_PVI: u64 = 0x0000000000000002;