tint 1292 drivers/atm/firestream.c u32 tint; tint 1301 drivers/atm/firestream.c pci_read_config_dword (pdev, 0x28, &tint); tint 1302 drivers/atm/firestream.c if (tint != 0x80) { tint 1303 drivers/atm/firestream.c tint = 0x80; tint 1304 drivers/atm/firestream.c pci_write_config_dword (pdev, 0x28, tint);