Searched refs:vmgenid_dev (Results 1 – 1 of 1) sorted by relevance
1937 Object *vmgenid_dev, *vmclock_dev; in acpi_build() 2003 vmgenid_dev = find_vmgenid_dev(); in acpi_build() 2004 if (vmgenid_dev) { in acpi_build() 2006 vmgenid_build_acpi(VMGENID(vmgenid_dev), tables_blob, in acpi_build() 2181 Object *vmgenid_dev; in acpi_setup() 2233 vmgenid_dev = find_vmgenid_dev(); in acpi_setup() 2234 if (vmgenid_dev) { in acpi_setup() 2235 vmgenid_add_fw_cfg(VMGENID(vmgenid_dev), x86ms->fw_cfg, in acpi_setup() 1933 Object *vmgenid_dev, *vmclock_dev; acpi_build() local 2177 Object *vmgenid_dev; acpi_setup() local