Symbol: acpi_device_write_dsdt
usr/src/cmd/bhyve/common/acpi.c
241
BASL_EXEC(acpi_device_write_dsdt(entry->dev));
usr/src/cmd/bhyve/common/acpi_device.h
59
int acpi_device_write_dsdt(const struct acpi_device *dev);