1/*
2 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef PLAT_MACROS_S
8#define PLAT_MACROS_S
9
10	/* ---------------------------------------------
11	 * The below required platform porting macro
12	 * prints out relevant GIC and CCI registers
13	 * whenever an unhandled exception is taken in
14	 * BL31.
15	 * Clobbers: x0 - x10, x16, x17, sp
16	 * ---------------------------------------------
17	 */
18	.macro plat_crash_print_regs
19	.endm
20
21#endif /* PLAT_MACROS_S */
22