| Konstantin Porotchkin | e7be6e2 | 2018-10-08 16:53:09 +0300 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2018 Marvell International Ltd. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * https://spdx.org/licenses |
| 6 | */ |
| 7 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 8 | #ifndef PLAT_MACROS_S |
| 9 | #define PLAT_MACROS_S |
| Konstantin Porotchkin | e7be6e2 | 2018-10-08 16:53:09 +0300 | [diff] [blame] | 10 | |
| 11 | #include <marvell_macros.S> |
| 12 | |
| 13 | /* --------------------------------------------- |
| 14 | * The below macro prints out relevant GIC and |
| 15 | * CCI registers registers whenever an unhandled |
| 16 | * exception is taken in BL31. |
| 17 | * --------------------------------------------- |
| 18 | */ |
| 19 | .macro plat_crash_print_regs |
| 20 | mov_imm x17, MVEBU_GICC_BASE |
| 21 | mov_imm x16, MVEBU_GICD_BASE |
| 22 | marvell_print_gic_regs |
| 23 | print_cci_regs |
| 24 | .endm |
| 25 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 26 | #endif /* PLAT_MACROS_S */ |