Searched refs:find_vmclock_dev (Results 1 – 3 of 3) sorted by relevance
26 static inline Object *find_vmclock_dev(void) in find_vmclock_dev() function
129 if (!find_vmclock_dev()) { in vmclock_realize()
2522 vmclock_dev = find_vmclock_dev(); in acpi_build()