/*
 * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef __PLAT_MACROS_S__
#define __PLAT_MACROS_S__

/*
 * Print CCN registers
 */
	.macro plat_crash_print_regs
	.endm
#endif /* __PLAT_MACROS_S__ */
