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
