Searched refs:kill_it (Results 1 – 1 of 1) sorted by relevance
1041 int kill_it = 0; in do_machine_check() local1067 kill_it = 1; in do_machine_check()1167 } else if (kill_it) { in do_machine_check()