/*
 * Copyright (c) 2023 Nordic Semiconductor ASA
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>
#include "nsi_cpu_es_if.h"

/*
 * This file provides the interfaces the POSIX architecture and soc_inf
 * expect from all boards that use them
 */

void posix_exit(int exit_code)
{
	nsi_exit(exit_code);
}

void posix_vprint_error_and_exit(const char *format, va_list vargs)
{
	nsi_vprint_error_and_exit(format, vargs);
}

void posix_vprint_warning(const char *format, va_list vargs)
{
	nsi_vprint_warning(format, vargs);
}

void posix_vprint_trace(const char *format, va_list vargs)
{
	nsi_vprint_trace(format, vargs);
}

void posix_print_error_and_exit(const char *format, ...)
{
	va_list variable_args;

	va_start(variable_args, format);
	nsi_vprint_error_and_exit(format, variable_args);
	va_end(variable_args);
}

void posix_print_warning(const char *format, ...)
{
	va_list variable_args;

	va_start(variable_args, format);
	nsi_vprint_warning(format, variable_args);
	va_end(variable_args);
}

void posix_print_trace(const char *format, ...)
{
	va_list variable_args;

	va_start(variable_args, format);
	nsi_vprint_trace(format, variable_args);
	va_end(variable_args);
}

int posix_trace_over_tty(int file_number)
{
	return nsi_trace_over_tty(file_number);
}

uint64_t posix_get_hw_cycle(void)
{
	return nsi_hws_get_time();
}