Searched refs:vcpu_time (Results 1 – 2 of 2) sorted by relevance

/linux/arch/x86/kernel/
A D	pvclock.c	114 struct pvclock_vcpu_time_info *vcpu_time, in pvclock_read_wallclock() argument 137 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ in pvclock_read_wallclock()
/linux/arch/x86/xen/
A D	time.c	72 struct pvclock_vcpu_time_info *vcpu_time; in xen_read_wallclock() local 74 vcpu_time = &get_cpu_var(xen_vcpu)->time; in xen_read_wallclock() 75 pvclock_read_wallclock(wall_clock, vcpu_time, ts); in xen_read_wallclock()

Completed in 6 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023