Searched defs:saved_err_prefix (Results 1 – 4 of 4) sorted by relevance
123 char *saved_err_prefix = err_print_prefix; in ev7_machine_check() local
203 char *saved_err_prefix = err_print_prefix; in ev6_process_logout_frame() local250 char *saved_err_prefix = err_print_prefix; in ev6_machine_check() local
434 char *saved_err_prefix = err_print_prefix; in titan_machine_check() local715 char *saved_err_prefix = err_print_prefix; in privateer_machine_check() local
1054 char *saved_err_prefix = err_print_prefix; in marvel_machine_check() local