Symbol: VDSO_TK_VER_CURR
lib/libsys/__vdso_gettimeofday.c
146
if (tk->tk_ver != VDSO_TK_VER_CURR)
lib/libsys/__vdso_gettimeofday.c
167
if (tk->tk_ver != VDSO_TK_VER_CURR)
sys/kern/kern_sharedpage.c
232
tk_ver = VDSO_TK_VER_CURR;
sys/kern/kern_sharedpage.c
253
tk_ver = VDSO_TK_VER_CURR;