Searched refs:pdc_console_restart (Results 1 – 3 of 3) sorted by relevance
22 void pdc_console_restart(void);
243 pdc_console_restart(); in die_if_kernel()410 pdc_console_restart(); in parisc_terminate()463 pdc_console_restart(); /* switch back to pdc if HPMC */ in handle_interruption()
265 void pdc_console_restart(void) in pdc_console_restart() function
