Symbol: becc_intr_disestablish
sys/arch/arm/xscale/becc_pci.c
404
becc_intr_disestablish(cookie);
sys/arch/arm/xscale/beccvar.h
122
void becc_intr_disestablish(void *);