1 /*
2  * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include "smcall.h"
8 
9 #define	SMC_ENTITY_PLATFORM_MONITOR	61
10 
11 /*
12  * SMC calls implemented by EL3 monitor
13  */
14 
15 /*
16  * Write character in r1 to debug console
17  */
18 #define SMC_FC_DEBUG_PUTC	SMC_FASTCALL_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x0)
19 
20 /*
21  * Get register base address
22  * r1: SMC_GET_GIC_BASE_GICD or SMC_GET_GIC_BASE_GICC
23  */
24 #define SMC_GET_GIC_BASE_GICD	0
25 #define SMC_GET_GIC_BASE_GICC	1
26 #define SMC_GET_GIC_BASE_GICR	2
27 #define SMC_FC_GET_REG_BASE	SMC_FASTCALL_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x1)
28 #define SMC_FC64_GET_REG_BASE	SMC_FASTCALL64_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x1)
29