Symbol: MSR_HV_STIMER0_CONFIG