Searched refs:pdc_console_restart (Results 1 – 3 of 3) sorted by relevance
266 pdc_console_restart(); in die_if_kernel()441 pdc_console_restart(); in parisc_terminate()494 pdc_console_restart(); /* switch back to pdc if HPMC */ in handle_interruption()
266 void pdc_console_restart(void) in pdc_console_restart() function
260 void pdc_console_restart(void);