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