Constant X86X_AMD_MSR_SECURE_AVIC_CONTROL 

pub const X86X_AMD_MSR_SECURE_AVIC_CONTROL: u32 = 0xc0010138;