ubuntu-linux-kernel/kernel/sched/idle.o