1 /*
2 * SPDX-License-Identifier: BSD-3-Clause
3 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4 */
5
6 #include <assert.h>
7 #include <smc.h>
8
asc_mark_secure(unsigned long addr)9 void asc_mark_secure(unsigned long addr)
10 {
11 __unused int ret;
12
13 ret = monitor_call(SMC_ASC_MARK_SECURE, addr, 0, 0, 0, 0, 0);
14 assert(ret == 0);
15 }
16
asc_mark_nonsecure(unsigned long addr)17 void asc_mark_nonsecure(unsigned long addr)
18 {
19 __unused int ret;
20
21 ret = monitor_call(SMC_ASC_MARK_NONSECURE, addr, 0, 0, 0, 0, 0);
22 assert(ret == 0);
23 }
24
25