1/* 2 * Copyright (c) 2016, 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 <platform_def.h> 11 12 /* --------------------------------------------- 13 * The below required platform porting macro 14 * prints out relevant GIC and CCI registers 15 * whenever an unhandled exception is taken in 16 * BL31. 17 * Clobbers: x0 - x10, x16, x17, sp 18 * --------------------------------------------- 19 */ 20 .macro plat_crash_print_regs 21 mov_imm x17, GICC_BASE 22 mov_imm x16, GICD_BASE 23 arm_print_gic_regs 24 .endm 25 26#endif /* PLAT_MACROS_S */ 27