Searched refs:vmclock_dev (Results 1 – 1 of 1) sorted by relevance
1937 Object *vmgenid_dev, *vmclock_dev; in acpi_build() 2010 vmclock_dev = find_vmclock_dev(); in acpi_build() 2011 if (vmclock_dev) { in acpi_build() 2013 vmclock_build_acpi(VMCLOCK(vmclock_dev), tables_blob, tables->linker, in acpi_build() 1933 Object *vmgenid_dev, *vmclock_dev; acpi_build() local