tag	line	file	source code
devnums	263	init/main.c	int devnums[]    = { 0x300, 0x340, 0x800, 0x810, 0x820, 0x830, 0x840, 0x200, 0xC00, 0xC40, 0};
devnums	288	init/main.c	ROOT_DEV = devnums[n]+simple_strtoul(line+len,NULL,16);