Symbol: vdso_update_end
arch/s390/kernel/time.c
539
vdso_update_end(flags);
include/vdso/vsyscall.h
10
void vdso_update_end(unsigned long flags);