tag	line	file	source code
devnums	401	init/main.c	int devnums[]    = { 0x0FF, 0x300, 0x340, 0x1600, 0x1640, 0x800,
devnums	427	init/main.c	ROOT_DEV = to_kdev_t(devnums[n]+