/* PCI registers */