Symbol: vmgenc_write_dsdt
usr.sbin/bhyve/acpi.c
283
vmgenc_write_dsdt();
usr.sbin/bhyve/vmgenc.h
29
void vmgenc_write_dsdt(void);