Searched refs:host_svtk (Results 1 – 1 of 1) sorted by relevance
209 static struct vdso_sv_tk *host_svtk; variable218 if (host_svtk != NULL) in timekeep_push_vdso()219 timehands_update(host_svtk); in timekeep_push_vdso()348 KASSERT(host_svtk == NULL, in exec_sysvec_init()350 host_svtk = alloc_sv_tk(); in exec_sysvec_init()352 KASSERT(host_svtk != NULL, in exec_sysvec_init()355 sv->sv_timekeep_offset = host_svtk->sv_timekeep_off; in exec_sysvec_init()