| /* |
| * Copyright (C) 2018 Marvell International Ltd. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| * https://spdx.org/licenses |
| */ |
| |
| #ifndef __PLAT_MACROS_S__ |
| #define __PLAT_MACROS_S__ |
| |
| #include <marvell_macros.S> |
| |
| /* --------------------------------------------- |
| * The below macro prints out relevant GIC and |
| * CCI registers registers whenever an unhandled |
| * exception is taken in BL31. |
| * --------------------------------------------- |
| */ |
| .macro plat_crash_print_regs |
| mov_imm x17, MVEBU_GICC_BASE |
| mov_imm x16, MVEBU_GICD_BASE |
| marvell_print_gic_regs |
| print_cci_regs |
| .endm |
| |
| #endif /* __PLAT_MACROS_S__ */ |