ifpga_pci_intr_string
.pc_intr_string = ifpga_pci_intr_string,
const char *ifpga_pci_intr_string (void *, pci_intr_handle_t, char *, size_t);