Symbol: vmgenc_write_dsdt
usr/src/cmd/bhyve/common/acpi.c
237
vmgenc_write_dsdt();
usr/src/cmd/bhyve/common/vmgenc.h
29
void vmgenc_write_dsdt(void);