Searched refs:nmi_cpu_switch (Results 1 – 1 of 1) sorted by relevance
235 static void nmi_cpu_switch(void *dummy) in nmi_cpu_switch() function277 on_each_cpu(nmi_cpu_switch, NULL, 1); in nmi_switch_event()