dec_550_intr_string
pc->pc_intr_string = dec_550_intr_string;
const char *dec_550_intr_string(void *, pci_intr_handle_t);