Symbol: CHIP_IO_SYS_START
sys/arch/alpha/pci/pci_bwx_bus_io_chipdep.c
311
*iohp = ALPHA_PHYS_TO_K0SEG(CHIP_IO_SYS_START(v)) + ioaddr;
sys/arch/alpha/pci/pci_bwx_bus_io_chipdep.c
326
ioaddr = ioh - ALPHA_PHYS_TO_K0SEG(CHIP_IO_SYS_START(v));