linux-hardened/kernel/cpu/idle.c