Home
last modified time | relevance | path

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

/f-stack/freebsd/x86/include/
H A Dpvclock.h55 uint64_t pvclock_get_timecount(struct pvclock_vcpu_time_info *ti);
/f-stack/freebsd/x86/x86/
H A Dpvclock.c171 pvclock_get_timecount(struct pvclock_vcpu_time_info *ti) in pvclock_get_timecount() function