pub fn set_default_msrs(msrs: &mut BTreeMap<u32, u64>)
Returns the default value of MSRs at reset.
Currently only sets IA32_TSC to 0.