/* This function gets called by ctrl-alt-del - ie the keyboard interrupt. As it's called within an interrupt, it may NOT sync: the only choice is whether to reboot at once, or just ignore the ctrl-alt-del.  */
void ctrl_alt_del(void)
/* This function gets called by ctrl-alt-del - ie the keyboard interrupt. As it's called within an interrupt, it may NOT sync: the only choice is whether to reboot at once, or just ignore the ctrl-alt-del.  */
void ctrl_alt_del(void)
{
	static DECLARE_WORK(cad_work, deferred_cad);
	if (C_A_D)
		schedule_work(&cad_work);
	else
		kill_cad_pid(SIGINT, 1);
}