Symbol: vdso_write_end
kernel/time/vsyscall.c
124
vdso_write_end(vdata);
kernel/time/vsyscall.c
212
vdso_write_end(vdata);