taglinefilesource code
ctrl_alt_del45kernel/chr_drv/keyboard.cextern void ctrl_alt_del(void);
ctrl_alt_del1081kernel/chr_drv/keyboard.cctrl_alt_del();