Function timekeep_push_vdso

freebsd/kern/kern_sharedpage.c:216–226

#endif

void
timekeep_push_vdso(void)
{

	if (host_svtk != NULL)
		timehands_update(host_svtk);
#ifdef COMPAT_FREEBSD32
	if (compat32_svtk != NULL)
		timehands_update32(compat32_svtk);
#endif
}

struct vdso_sv_tk *
alloc_sv_tk(void)