alloc_sv_tk_compat32
compat32_svtk = alloc_sv_tk_compat32();
struct vdso_sv_tk *alloc_sv_tk_compat32(void);