ubuntu-linux-kernel/drivers/cpuidle/cpuidle-arm.o