Searched refs:kill_it (Results 1 – 1 of 1) sorted by relevance
1022 int kill_it = 0; in do_machine_check() local1048 kill_it = 1; in do_machine_check()1145 } else if (kill_it) { in do_machine_check()