pvclock_getsystime
return (pvclock_getsystime(pvc) & UINT_MAX);
system_ns = pvclock_getsystime(pvc);
static uint64_t pvclock_getsystime(struct pvclock *pvc);