Constant x86defs::xsave::X86X_CET_CONFIG_MSR_RESERVED

pub const X86X_CET_CONFIG_MSR_RESERVED: u64 = 0x3C0;