| /* |
| * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <trusty/smcall.h> |
| |
| #define SMC_ENTITY_PLATFORM_MONITOR 61 |
| |
| /* |
| * SMC calls implemented by EL3 monitor |
| */ |
| |
| /* |
| * Write character in r1 to debug console |
| */ |
| #define SMC_FC_DEBUG_PUTC SMC_FASTCALL_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x0) |
| |
| /* |
| * Get register base address |
| * r1: SMC_GET_GIC_BASE_GICD or SMC_GET_GIC_BASE_GICC |
| */ |
| #define SMC_GET_GIC_BASE_GICD 0 |
| #define SMC_GET_GIC_BASE_GICC 1 |
| #define SMC_GET_GIC_BASE_GICR 2 |
| #define SMC_FC_GET_REG_BASE SMC_FASTCALL_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x1) |
| #define SMC_FC64_GET_REG_BASE SMC_FASTCALL64_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x1) |
| |
| /* |
| * Echo smc fastcall number and the first argument. Helpful for testing. |
| */ |
| #define SMC_FC_ECHO_ONE_ARG SMC_FASTCALL_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x2) |
| #define SMC_FC64_ECHO_ONE_ARG SMC_FASTCALL64_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x2) |
| |
| /* |
| * Echo smc fastcall number and the first three arguments. Helpful for testing. |
| */ |
| #define SMC_FC_ECHO_THREE_ARGS SMC_FASTCALL_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x3) |
| #define SMC_FC64_ECHO_THREE_ARGS SMC_FASTCALL64_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x3) |
