Searched refs:check_exception_flag (Results 1 – 2 of 2) sorted by relevance
99 int check_exception_flag = 0; /* TRUE if a check-exception handler present */ variable223 check_exception_flag = 1; in machine_check_init()
53 extern int check_exception_flag;242 } else if (check_exception_flag) { in MachineCheckException()