/*
 * SPDX-License-Identifier: BSD-3-Clause
 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
 */

#include <assert.h>
#include <smc.h>

void asc_mark_secure(unsigned long addr)
{
	__unused int ret;

	ret = monitor_call(SMC_ASC_MARK_SECURE, addr, 0, 0, 0, 0, 0);
	assert(ret == 0);
}

void asc_mark_nonsecure(unsigned long addr)
{
	__unused int ret;

	ret = monitor_call(SMC_ASC_MARK_NONSECURE, addr, 0, 0, 0, 0, 0);
	assert(ret == 0);
}