1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2018 MediaTek Inc.
6 #include <linux/linkage.h>
8 .extern preloader_param
10 ENTRY(save_boot_params)
11 ldr r6, =preloader_param
13 b save_boot_params_ret
14 ENDPROC(save_boot_params)
18 mrc p15, 0, r0, c1, c0, 1
20 mcr p15, 0, r0, c1, c0, 1
22 ENDPROC(lowlevel_init)