taglinefilesource code
spawnpid741drivers/char/keyboard.cint spawnpid, spawnsig;
spawnpid745drivers/char/keyboard.cif (spawnpid)
spawnpid746drivers/char/keyboard.cif(kill_proc(spawnpid, spawnsig, 1))
spawnpid747drivers/char/keyboard.cspawnpid = 0;
spawnpid667drivers/char/vt.cextern int spawnpid, spawnsig;
spawnpid672drivers/char/vt.cspawnpid = current->pid;