tag	line	file	source code
panic_setup	59	init/main.c	extern void panic_setup(char *str, int *ints);
panic_setup	207	init/main.c	{ "panic=", panic_setup },