Constant X64_CR4_CET 

pub const X64_CR4_CET: u64 = 0x0000000000800000;