/*
 * Copyright (c) 2019-2020 Cobham Gaisler AB
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <kernel.h>
#include <tracing/tracing.h>

static void leon_idle(unsigned int key)
{
	sys_trace_idle();
	irq_unlock(key);

	__asm__ volatile ("wr  %g0, %asr19");
}

void arch_cpu_idle(void)
{
	leon_idle(0);
}

void arch_cpu_atomic_idle(unsigned int key)
{
	leon_idle(key);
}