Searched refs:compat32_svtk (Results 1 – 1 of 1) sorted by relevance
211 static struct vdso_sv_tk *compat32_svtk; variable221 if (compat32_svtk != NULL) in timekeep_push_vdso()222 timehands_update32(compat32_svtk); in timekeep_push_vdso()337 KASSERT(compat32_svtk == NULL, in exec_sysvec_init()339 compat32_svtk = alloc_sv_tk_compat32(); in exec_sysvec_init()341 KASSERT(compat32_svtk != NULL, in exec_sysvec_init()344 sv->sv_timekeep_offset = compat32_svtk->sv_timekeep_off; in exec_sysvec_init()