Symbol: pvclock_getsystime
sys/x86/x86/pvclock.c
215
return (pvclock_getsystime(pvc) & UINT_MAX);
sys/x86/x86/pvclock.c
271
system_ns = pvclock_getsystime(pvc);
sys/x86/x86/pvclock.c
59
static uint64_t pvclock_getsystime(struct pvclock *pvc);