kernels/linux-2.4.0/arch/parisc/kernel/pdc_cons.c
/* Unregister the pdc console with the printk console layer */
Unregister the pdc console with the printk console layer
Unregister the pdc console with the printk console layer
void pdc_console_die(void)
{
	printk("Switching from PDC console\n");
	if (!pdc_console_initialized)
		return;
	--pdc_console_initialized;
#ifdef CONFIG_VT_CONSOLE
	{
	    extern struct tasklet_struct console_tasklet;
    	    tasklet_schedule(&console_tasklet);
	}
#endif
	unregister_console(&pdc_cons);
}
void pdc_console_die ( void ) { printk ( " \n " ) ; if ( ! pdc_console_initialized ) return ; -- pdc_console_initialized ; #ifdef CONFIG_VT_CONSOLE { extern struct tasklet_struct console_tasklet ; tasklet_schedule ( & console_tasklet ) ; } #endif unregister_console ( & pdc_cons ) ; }
Unregister the pdc console with the printk console layer
Unregister the pdc console with the printk console layer
/* fixme (needed?): Wait for console-tasklet to finish !*/