tag	line	file	source code
spawnsig	725	drivers/char/keyboard.c	int spawnpid, spawnsig;
spawnsig	730	drivers/char/keyboard.c	if(kill_proc(spawnpid, spawnsig, 1))
spawnsig	617	drivers/char/vt.c	extern int spawnpid, spawnsig;
spawnsig	623	drivers/char/vt.c	spawnsig = arg;