Symbol: phb_intr_string
sys/arch/powerpc64/dev/phb.c
123
const char *phb_intr_string(void *, pci_intr_handle_t);
sys/arch/powerpc64/dev/phb.c
404
sc->sc_pc.pc_intr_string = phb_intr_string;