Constant X86X_CET_CONFIG_MSR_RESERVED 

pub const X86X_CET_CONFIG_MSR_RESERVED: u64 = 0x3C0;