Symbol: IFPGA_PCI_IO_VBASE
sys/arch/evbarm/ifpga/ifpga.c
173
ifpga_create_io_bs_tag(&ifpga_pci_io_tag, (void *)IFPGA_PCI_IO_VBASE);
sys/arch/evbarm/ifpga/ifpga.c
277
IFPGA_PCI_CONF_VBASE - IFPGA_PCI_IO_VBASE, IFPGA_PCI_CONF_VSIZE, 0,
sys/arch/evbarm/integrator/integrator_machdep.c
281
IFPGA_PCI_IO_VBASE,