/**
 * @file
 * @brief
 *
 * @date 14.05.24
 * @author Aleksey Zhmulin
 */

#ifndef AARCH64_KERNEL_CPU_IDLE_H_
#define AARCH64_KERNEL_CPU_IDLE_H_

static inline void arch_cpu_idle(void) {
	__asm__ __volatile__("WFI");
}

#endif /* AARCH64_KERNEL_CPU_IDLE_H_ */
