Searched refs:pdc_console_restart (Results 1 – 3 of 3) sorted by relevance
23 void pdc_console_restart(void);
246 pdc_console_restart(); in die_if_kernel()430 pdc_console_restart(); in parisc_terminate()482 pdc_console_restart(); /* switch back to pdc if HPMC */ in handle_interruption()
251 void pdc_console_restart(void) in pdc_console_restart() function
