1 // SPDX-License-Identifier: GPL-2.0-only
15 #include <xen/xen-ops.h>
53 /* Linux <-> Xen vCPU id mapping */
57 /* These are unused until we support booting "pre-ballooned" */
78 	struct pvclock_wall_clock *wall_clock = &(s->wc);  in xen_read_wallclock()
82 		version = wall_clock->version;  in xen_read_wallclock()
83 		rmb();		/* fetch version before time */  in xen_read_wallclock()
84 		now.tv_sec  = ((uint64_t)wall_clock->sec_hi << 32) | wall_clock->sec;  in xen_read_wallclock()
85 		now.tv_nsec = wall_clock->nsec;  in xen_read_wallclock()
86 		rmb();		/* fetch time before checking version */  in xen_read_wallclock()
87 	} while ((wall_clock->version & 1) || (version != wall_clock->version));  in xen_read_wallclock()
104 	now.tv_sec = tk->xtime_sec;  in xen_pvclock_gtod_notify()
105 	now.tv_nsec = (long)(tk->tkr_mono.xtime_nsec >> tk->tkr_mono.shift);  in xen_pvclock_gtod_notify()
106 	system_time = timespec64_add(now, tk->wall_to_monotonic);  in xen_pvclock_gtod_notify()
146 	 * can happen with cpu-hotplug.  in xen_starting_cpu()
214 } hyper_node = {"xen,xen", "xen,xen-", NULL, false};
217 				      int depth, void *data)  in fdt_find_hyper_node()  argument
222 	if (depth != 1 || strcmp(uname, "hypervisor") != 0)  in fdt_find_hyper_node()
332 		return -ENODEV;  in xen_guest_init()
346 		return -ENOMEM;  in xen_guest_init()
367 		return -ENOMEM;  in xen_guest_init()
378 		return -ENOMEM;  in xen_guest_init()
394 		return -EINVAL;  in xen_guest_init()
412 		return -ENODEV;  in xen_pm_init()