Searched refs:host_svtk (Results 1 – 1 of 1) sorted by relevance
211 static struct vdso_sv_tk *host_svtk; variable220 if (host_svtk != NULL) in timekeep_push_vdso()221 timehands_update(host_svtk); in timekeep_push_vdso()330 KASSERT(host_svtk == NULL, ("Host already registered")); in exec_sysvec_init()331 host_svtk = alloc_sv_tk(); in exec_sysvec_init()333 host_svtk->sv_timekeep_off; in exec_sysvec_init()