vrpciu_intr_string
pc->pc_intr_string = vrpciu_intr_string;
static const char *vrpciu_intr_string(pci_chipset_tag_t, pci_intr_handle_t,