tag	line	file	source code
devnums	276	init/main.c	int devnums[]    = { 0x300, 0x340, 0x1600, 0x1640, 0x800, 0x810, 0x820, 0x830, 0x840, 0x200, 0xD00, 0xD40, 0};
devnums	301	init/main.c	ROOT_DEV = devnums[n]+simple_strtoul(line+len,NULL,0);