Searched defs:saved_err_prefix (Results 1 – 12 of 12) sorted by relevance
124 char *saved_err_prefix = err_print_prefix; in ev7_machine_check() local
204 char *saved_err_prefix = err_print_prefix; in ev6_process_logout_frame() local251 char *saved_err_prefix = err_print_prefix; in ev6_machine_check() local
435 char *saved_err_prefix = err_print_prefix; in titan_machine_check() local716 char *saved_err_prefix = err_print_prefix; in privateer_machine_check() local
1055 char *saved_err_prefix = err_print_prefix; in marvel_machine_check() local