Searched refs:compat32_svtk (Results 1 – 1 of 1) sorted by relevance
213 static struct vdso_sv_tk *compat32_svtk; variable223 if (compat32_svtk != NULL) in timekeep_push_vdso()224 timehands_update32(compat32_svtk); in timekeep_push_vdso()323 KASSERT(compat32_svtk == NULL, in exec_sysvec_init()325 compat32_svtk = alloc_sv_tk_compat32(); in exec_sysvec_init()327 compat32_svtk->sv_timekeep_off; in exec_sysvec_init()