Symbol: PCIADDR_PORT_END