htb_pci_intr_string
pc->pc_intr_string = htb_pci_intr_string;
htb_pci_intr_string(void *, pci_intr_handle_t);