Symbol: pci_write_dsdt
usr/src/cmd/bhyve/common/acpi.c
219
pci_write_dsdt();
usr/src/cmd/bhyve/common/pci_emul.h
277
void pci_write_dsdt(void);