Searched refs:nmi_cpu_restore_mpx_registers (Results 1 – 1 of 1) sorted by relevance
213 static void nmi_cpu_restore_mpx_registers(struct op_msrs *msrs) in nmi_cpu_restore_mpx_registers() function243 nmi_cpu_restore_mpx_registers(msrs); in nmi_cpu_switch()