ext_to_timespec64  221 arch/s390/kernel/time.c 	ext_to_timespec64(clk, ts);
ext_to_timespec64  236 arch/s390/kernel/time.c 	ext_to_timespec64(clk, &boot_time);