taglinefilesource code
row368kernel/bios32.cunsigned char row, col;
row380kernel/bios32.cfor (row = 0; row < 0x3c; row += 0x10) {
row381kernel/bios32.cprintk ("\n  reg 0x%02x  ", row);
row383kernel/bios32.cif (!(ret = pcibios_read_config_dword (bus, device_fn, row+col, &val)))