ectg_timer_base    42 arch/s390/include/asm/vdso.h 	__u64 ectg_timer_base;
ectg_timer_base    79 arch/s390/kernel/asm-offsets.c 	OFFSET(__VDSO_ECTG_BASE, vdso_per_cpu_data, ectg_timer_base);