Searched refs:pvclock_read_wallclock (Results 1 - 4 of 4) sorted by relevance

/linux-4.1.27/arch/x86/include/asm/
H A Dpvclock.h12 void pvclock_read_wallclock(struct pvclock_wall_clock *wall,
/linux-4.1.27/arch/x86/kernel/
H A Dpvclock.c118 void pvclock_read_wallclock(struct pvclock_wall_clock *wall_clock, pvclock_read_wallclock() function
H A Dkvmclock.c65 pvclock_read_wallclock(&wall_clock, vcpu_time, now); kvm_get_wallclock()
/linux-4.1.27/arch/x86/xen/
H A Dtime.c179 pvclock_read_wallclock(wall_clock, vcpu_time, ts); xen_read_wallclock()

Completed in 158 milliseconds