Ok, I think this is the device in /proc/pci
Bus 2, device 13, function 0:
Network controller: PCI device 1260:3873 (Harris Semiconductor) (rev 1).
IRQ 11.
Master Capable. Latency=32.
Prefetchable 32 bit memory at 0xf47ff000 [0xf47fffff].
It's the last device in the list. I'm a novice so the obvious solution to everyone is completely alien to me. Thanks to anyone who can help