Symbol: ixdp425_pci_intr_establish
sys/arch/evbarm/ixdp425/ixdp425_pci.c
57
static void *ixdp425_pci_intr_establish(void *, pci_intr_handle_t, int,
sys/arch/evbarm/ixdp425/ixdp425_pci.c
74
pc->pc_intr_establish = ixdp425_pci_intr_establish;