/* Used for emergencies. Currently only used if an HPMC occurs. If an HPMC occurs, it is possible that the current console may not be properly initialised after the PDC IO reset. This routine unregisters all of the current consoles, reinitializes the pdc console and registers it.  */
void pdc_console_restart(void)
/* Used for emergencies. Currently only used if an HPMC occurs. If an HPMC occurs, it is possible that the current console may not be properly initialised after the PDC IO reset. This routine unregisters all of the current consoles, reinitializes the pdc console and registers it.  */
void pdc_console_restart(void)
{
	struct console *console;
	if (pdc_console_initialized)
		return;
	if (console_drivers != NULL)
		pdc_cons.flags &= ~CON_PRINTBUFFER;
	while ((console = console_drivers) != NULL)
		unregister_console(console_drivers);
	pdc_console_init_force();
}