/* inlines for reading/writing 8-bit PCI registers */