1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * SoC-specific setup info
5 * (C) Copyright 2010,2011
6 * NVIDIA Corporation <www.nvidia.com>
10 #include <linux/linkage.h>
15 /* get address for global reset register */
28 ldr r1, rstctl @ get addr for global reset
32 str r3, [r1] @ force reset