PCI device driver