Constant MSR_AMD64_OSVW_ID_LENGTH 

pub const MSR_AMD64_OSVW_ID_LENGTH: u32 = 0xc0010140;