1/*
2 * Copyright (c) 2020, 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 <platform_def.h>
10
11.section .rodata.gic_reg_name, "aS"
12gicc_regs:
13	.asciz "gicc_hppir", "gicc_ahppir", "gicc_ctlr", ""
14gicd_pend_reg:
15	.asciz "gicd_ispendr regs (Offsets 0x200 - 0x278)\n"	\
16		" Offset:\t\t\tvalue\n"
17newline:
18	.asciz "\n"
19spacer:
20	.asciz ":\t\t0x"
21
22.section .rodata.cci_reg_name, "aS"
23cci_iface_regs:
24	.asciz "cci_snoop_ctrl_cluster0", "cci_snoop_ctrl_cluster1" , ""
25
26	/* ---------------------------------------------
27	 * The below macro prints out relevant GIC
28	 * registers whenever an unhandled exception
29	 * is taken in BL31.
30	 * Clobbers: x0 - x10, x26, x27, sp
31	 * ---------------------------------------------
32	 */
33	.macro plat_crash_print_regs
34	/* To-do: GIC owner */
35	/* To-do: CCI owner */
36	.endm
37
38#endif /* PLAT_MACROS_S */
39