-static void nmi_cpu_save_mpx_registers(struct op_msrs *msrs)
-{
- unsigned int si = __get_cpu_var(switch_index);
- unsigned int const nr_ctrs = model->num_hardware_counters;
- struct op_msr *counters = &msrs->counters[si];
- unsigned int i;
-
- for (i = 0; i < nr_ctrs; ++i) {
- int offset = i + si;
- if (counters[offset].addr) {
- rdmsr(counters[offset].addr,
- counters[offset].multiplex.low,
- counters[offset].multiplex.high);
- }
- }
-}
-
-static void nmi_cpu_restore_mpx_registers(struct op_msrs *msrs)
-{
- unsigned int si = __get_cpu_var(switch_index);
- unsigned int const nr_ctrs = model->num_hardware_counters;
- struct op_msr *counters = &msrs->counters[si];
- unsigned int i;
-
- for (i = 0; i < nr_ctrs; ++i) {
- int offset = i + si;
- if (counters[offset].addr) {
- wrmsr(counters[offset].addr,
- counters[offset].multiplex.low,
- counters[offset].multiplex.high);
- }
- }
-}
-
-static void nmi_cpu_restore_registers(struct op_msrs *msrs)