emuxki_board_lookup
if (emuxki_board_lookup(PCI_VENDOR(pa->pa_id),
sb = emuxki_board_lookup(PCI_VENDOR(pa->pa_id),
emuxki_board_lookup(pci_vendor_id_t, pci_product_id_t, uint32_t, uint8_t);