ectg_user_time     43 arch/s390/include/asm/vdso.h 	__u64 ectg_user_time;
ectg_user_time     80 arch/s390/kernel/asm-offsets.c 	OFFSET(__VDSO_ECTG_USER, vdso_per_cpu_data, ectg_user_time);