taglinefilesource code
devnums427init/main.cint devnums[]    = { 0x0FF, 0x300, 0x340, 0x1600, 0x1640, 0x800,
devnums453init/main.cROOT_DEV = to_kdev_t(devnums[n]+