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

/linux-4.4.14/arch/x86/include/asm/
H A Dpvclock.h8 cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src);
/linux-4.4.14/arch/x86/kernel/
H A Dpvclock.c74 cycle_t pvclock_clocksource_read(struct pvclock_vcpu_time_info *src) pvclock_clocksource_read() function
135 delta = pvclock_clocksource_read(vcpu_time); /* time since system boot */ pvclock_read_wallclock()
H A Dkvmclock.c86 ret = pvclock_clocksource_read(src); kvm_clock_read()
/linux-4.4.14/arch/x86/xen/
H A Dtime.c162 ret = pvclock_clocksource_read(src); xen_clocksource_read()

Completed in 160 milliseconds