/*
 * Copyright 2024 NXP
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef PLAT_MACROS_S
#define PLAT_MACROS_S

/* ---------------------------------------------
 * The below required platform porting macro
 * prints out relevant GIC and CCI registers
 * whenever an unhandled exception is taken in
 * BL31.
 * Clobbers: x0 - x10, x16, x17, sp
 * ---------------------------------------------
 */
.macro plat_crash_print_regs
.endm

#endif /* PLAT_MACROS_S */

