2 * (C) Copyright 2010,2011
3 * Vladimir Khusainov, Emcraft Systems, vlad@emcraft.com
6 * Kamil Lulko, <rev13@wp.pl>
8 * SPDX-License-Identifier: GPL-2.0+
13 #include <asm/armv7m.h>
16 * This is called right before passing control to
17 * the Linux kernel point.
19 int cleanup_before_linux(void)
25 * Perform the low-level reset.
27 void reset_cpu(ulong addr)
30 * Perform reset but keep priority group unchanged.
32 writel((V7M_AIRCR_VECTKEY << V7M_AIRCR_VECTKEY_SHIFT)
33 | (V7M_SCB->aircr & V7M_AIRCR_PRIGROUP_MSK)
34 | V7M_AIRCR_SYSRESET, &V7M_SCB->aircr);