Symbol: ifpga_iintsrc_read
sys/arch/evbarm/ifpga/ifpga_intr.c
306
hwpend = ifpga_iintsrc_read();
sys/arch/evbarm/ifpga/ifpga_intr.c
316
while ((ifpga_iintsrc_read() & hwpend) != 0)