Symbol: ahci_generate_intr
usr.sbin/bhyve/pci_ahci.c
2233
ahci_generate_intr(sc, 0xffffffff);
usr.sbin/bhyve/pci_ahci.c
2237
ahci_generate_intr(sc, value);