Symbol: PCI_IO_RD_32