1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __ASM_IDLE_H
3#define __ASM_IDLE_H
4
5#include <linux/linkage.h>
6
7extern asmlinkage void __arch_cpu_idle(void);
8
9#endif /* __ASM_IDLE_H  */
10