Searched refs:pdc_console_restart (Results 1 – 3 of 3) sorted by relevance
247 pdc_console_restart(); in die_if_kernel()431 pdc_console_restart(); in parisc_terminate()483 pdc_console_restart(); /* switch back to pdc if HPMC */ in handle_interruption()
247 void pdc_console_restart(void) in pdc_console_restart() function
23 void pdc_console_restart(void);
Completed in 7 milliseconds