Symbol: alloc_sv_tk
sys/kern/kern_sharedpage.c
349
host_svtk = alloc_sv_tk();
sys/sys/vdso.h
113
struct vdso_sv_tk *alloc_sv_tk(void);