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);