Symbol: ifpga_intr_dispatch
sys/arch/evbarm/ifpga/ifpga_intr.c
110
void ifpga_intr_dispatch(struct clockframe *frame);
sys/arch/evbarm/ifpga/ifpga_intr.h
41
#define ARM_IRQ_HANDLER _C_LABEL(ifpga_intr_dispatch)