Symbol: IFPGA_IO_BASE
sys/arch/evbarm/ifpga/ifpga_io.c
146
.bs_cookie = (void *) IFPGA_IO_BASE, /* Physical base address */
sys/arch/evbarm/integrator/integrator_machdep.c
269
IFPGA_IO_BASE + IFPGA_UART0,
sys/arch/evbarm/integrator/integrator_machdep.c
275
IFPGA_IO_BASE + IFPGA_UART1,