Symbol: IO_PCI_BOARD