1/*
2 * Copyright (c) 2019, Intel Corporation. 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#include <platform_def.h>
11
12	/* ---------------------------------------------
13	 * The below required platform porting macro
14	 * prints out relevant platform registers
15	 * whenever an unhandled exception is taken in
16	 * BL31.
17	 * ---------------------------------------------
18	 */
19	.macro plat_crash_print_regs
20	.endm
21
22#endif /* PLAT_MACROS_S */
23