1/*
2 * Copyright (c) 2014-2018, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6#ifndef PLAT_MACROS_S
7#define PLAT_MACROS_S
8
9#include <arm_macros.S>
10#include <cci_macros.S>
11#include "zynqmp_def.h"
12
13	/* ---------------------------------------------
14	 * The below required platform porting macro
15	 * prints out relevant GIC and CCI registers
16	 * whenever an unhandled exception is taken in
17	 * BL31.
18	 * Clobbers: x0 - x10, x16, x17, sp
19	 * ---------------------------------------------
20	 */
21	.macro plat_crash_print_regs
22	mov_imm	x17, BASE_GICC_BASE
23	mov_imm	x16, BASE_GICD_BASE
24	arm_print_gic_regs
25	print_cci_regs
26	.endm
27
28#endif /* PLAT_MACROS_S */
29