taglinefilesource code
ctrl_alt_del65drivers/char/keyboard.cextern void ctrl_alt_del(void);
ctrl_alt_del493drivers/char/keyboard.cctrl_alt_del();