tag	line	file	source code
ctrl_alt_del	58	kernel/chr_drv/keyboard.c	extern void ctrl_alt_del(void);
ctrl_alt_del	1116	kernel/chr_drv/keyboard.c	ctrl_alt_del();