tag	line	file	source code
SIGINT	403	kernel/chr_drv/serial.c	kill_pg(info->tty->pgrp, SIGINT,1);
SIGINT	633	kernel/chr_drv/tty_io.c	kill_pg(tty->pgrp, SIGINT, 1);
SIGINT	247	kernel/sys.c	send_sig(SIGINT,task[1],1);