tag	line	file	source code
prompt_ramdisk	124	init/main.c	static void prompt_ramdisk(char *str, int *ints);
prompt_ramdisk	241	init/main.c	{ "prompt_ramdisk=", prompt_ramdisk },