Constant MSR_AMD64_VIRT_SPEC_CTRL 

pub const MSR_AMD64_VIRT_SPEC_CTRL: u32 = 0xc001011f;