MSR_IA32_EVT_CFG_BASE
wrmsrq(MSR_IA32_EVT_CFG_BASE + index, config_info->mon_config);
rdmsrq(MSR_IA32_EVT_CFG_BASE + index, msrval);