Searched refs:acpi_dev (Results 1 – 3 of 3) sorted by relevance
51 HotplugHandler *acpi_dev; member
216 x86ms->acpi_dev = HOTPLUG_HANDLER(dev); in microvm_devices_init()472 if (x86ms->acpi_dev) { in microvm_powerdown_req()473 Object *obj = OBJECT(x86ms->acpi_dev); in microvm_powerdown_req()475 adevc->send_event(ACPI_DEVICE_IF(x86ms->acpi_dev), in microvm_powerdown_req()
123 build_ged_aml(sb_scope, GED_DEVICE, x86ms->acpi_dev, in build_dsdt_microvm()