Searched refs:host_svtk (Results 1 – 1 of 1) sorted by relevance
208 static struct vdso_sv_tk *host_svtk; variable217 if (host_svtk != NULL) in timekeep_push_vdso()218 timehands_update(host_svtk); in timekeep_push_vdso()347 KASSERT(host_svtk == NULL, in exec_sysvec_init()349 host_svtk = alloc_sv_tk(); in exec_sysvec_init()351 KASSERT(host_svtk != NULL, in exec_sysvec_init()354 sv->sv_timekeep_offset = host_svtk->sv_timekeep_off; in exec_sysvec_init()