Constant X64_CR4_LA57 

pub const X64_CR4_LA57: u64 = 0x0000000000001000;