| Jens Wiklander | 52c798e | 2015-12-07 14:37:10 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Jens Wiklander | 52c798e | 2015-12-07 14:37:10 +0100 | [diff] [blame] | 5 | */ |
| 6 | #ifndef __PLAT_MACROS_S__ |
| 7 | #define __PLAT_MACROS_S__ |
| 8 | |
| 9 | #include <arm_macros.S> |
| 10 | #include <platform_def.h> |
| 11 | |
| 12 | /* --------------------------------------------- |
| 13 | * The below required platform porting macro |
| 14 | * prints out relevant GIC and CCI registers |
| 15 | * whenever an unhandled exception is taken in |
| 16 | * BL31. |
| 17 | * Clobbers: x0 - x10, x16, x17, sp |
| 18 | * --------------------------------------------- |
| 19 | */ |
| 20 | .macro plat_crash_print_regs |
| 21 | mov_imm x17, GICC_BASE |
| 22 | mov_imm x16, GICD_BASE |
| 23 | arm_print_gic_regs |
| 24 | .endm |
| 25 | |
| 26 | #endif /* __PLAT_MACROS_S__ */ |