/*
 * Copyright (c) 2018, Arm Limited. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <spinlock.h>
#include <stdarg.h>
#include <stdio.h>

/* Lock to avoid concurrent accesses to the serial console */
static spinlock_t printf_lock;

void mp_printf(const char *fmt, ...)
{
	va_list args;
	va_start(args, fmt);

	spin_lock(&printf_lock);
	vprintf(fmt, args);
	spin_unlock(&printf_lock);

	va_end(args);
}