Searched refs:nmi_cpu_save_mpx_registers (Results 1 – 1 of 1) sorted by relevance
209 static void nmi_cpu_save_mpx_registers(struct op_msrs *msrs) in nmi_cpu_save_mpx_registers() function242 nmi_cpu_save_mpx_registers(msrs); in nmi_cpu_switch()