lkl: follow up fixes after v4.10 merge

This commit includes several adapts for arch/lkl:
- change cpu_idle_loop to do_idle for scheduling
- cycle_t to u64 for clock_read() return value

Signed-off-by: Hajime Tazaki <thehajime@gmail.com>

Author: thehajime

arch/lkl/include/asm/cpu.h

@@ -12,6 +12,6 @@ void lkl_cpu_change_owner(lkl_thread_t owner);
 void lkl_cpu_set_irqs_pending(void);
 void lkl_idle_tail_schedule(void);
 int lkl_cpu_idle_pending(void);
-extern void cpu_idle_loop(void);
+extern void do_idle(void);
 
 #endif /* _ASM_LKL_CPU_H */

arch/lkl/kernel/cpu.c

@@ -237,7 +237,7 @@ void arch_cpu_idle_prepare(void)
 	 * jump back to the beginning.
 	 */
 	while (1)
-		lkl_ops->jmp_buf_set(&cpu.idle_jb, cpu_idle_loop);
+		lkl_ops->jmp_buf_set(&cpu.idle_jb, do_idle);
 }
 
 void lkl_cpu_wakeup_idle(void)

arch/lkl/kernel/time.c

@@ -48,7 +48,7 @@ unsigned long long sched_clock(void)
 	return lkl_ops->time() - boot_time;
 }
 
-static cycle_t clock_read(struct clocksource *cs)
+static u64 clock_read(struct clocksource *cs)
 {
 	return lkl_ops->time();
 }