Symbol: ifpga_intr_disestablish
sys/arch/evbarm/ifpga/ifpga_pci.c
371
ifpga_intr_disestablish(cookie);
sys/arch/evbarm/ifpga/ifpgavar.h
108
void ifpga_intr_disestablish(void *);