/* * Generic entry point for the idle threads */ #include #include void cpu_startup_entry(enum cpuhp_state state) { cpu_idle(); }