tag	line	file	source code
spawnpid	752	drivers/char/keyboard.c	int spawnpid, spawnsig;
spawnpid	756	drivers/char/keyboard.c	if (spawnpid)
spawnpid	757	drivers/char/keyboard.c	if(kill_proc(spawnpid, spawnsig, 1))
spawnpid	758	drivers/char/keyboard.c	spawnpid = 0;
spawnpid	686	drivers/char/vt.c	extern int spawnpid, spawnsig;
spawnpid	691	drivers/char/vt.c	spawnpid = current->pid;