12345678910111213141516171819202122232425262728 |
- #include "smcall.h"
- #define SMC_ENTITY_PLATFORM_MONITOR 61
- #define SMC_FC_DEBUG_PUTC SMC_FASTCALL_NR(SMC_ENTITY_PLATFORM_MONITOR, 0x0)
- #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)
|