Symbol: ixdp425_pci_intr_string
sys/arch/evbarm/ixdp425/ixdp425_pci.c
55
static const char *ixdp425_pci_intr_string(void *, pci_intr_handle_t, char *, size_t);
sys/arch/evbarm/ixdp425/ixdp425_pci.c
72
pc->pc_intr_string = ixdp425_pci_intr_string;