Symbol: get_cpu_timer
arch/s390/kernel/idle.c
50
idle->timer_idle_enter = get_cpu_timer();
arch/s390/kernel/vtime.c
216
lc->last_update_timer = get_cpu_timer();