Constant MSR_AMD64_OSVW_STATUS 

pub const MSR_AMD64_OSVW_STATUS: u32 = 0xc0010141;