1/*
2 * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7/*
8 * the below macros print out relevant GIC
9 * registers whenever an unhandled exception is
10 * taken in BL3-1
11 */
12.macro plat_print_gic_regs
13	/* TODO */
14.endm
15
16/*
17 * the below macros print out relevant interconnect
18 * registers whenever an unhandled exception is
19 * taken in BL3-1
20 */
21.macro plat_print_interconnect_regs
22	/* TODO */
23.endm
24
25/* ---------------------------------------------
26 * The below required platform porting macro
27 * prints out relevant platform registers
28 * whenever an unhandled exception is taken in
29 * BL31.
30 * ---------------------------------------------
31 */
32.macro plat_crash_print_regs
33      /* TODO */
34.endm
35