Symbol: pci_write_dsdt
usr.sbin/bhyve/acpi.c
263
pci_write_dsdt();
usr.sbin/bhyve/pci_emul.h
261
void pci_write_dsdt(void);