1/*
2 * Copyright (C) 2018 Marvell International Ltd.
3 *
4 * SPDX-License-Identifier:	BSD-3-Clause
5 * https://spdx.org/licenses
6 */
7
8#ifndef PLAT_MACROS_S
9#define PLAT_MACROS_S
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
26#endif /* PLAT_MACROS_S */
27