ec_clk             76 arch/s390/kernel/smp.c 	unsigned long ec_clk;		/* sigp timestamp for ec_xxx */
ec_clk            185 arch/s390/kernel/smp.c 	pcpu->ec_clk = get_tod_clock_fast();