1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2018 MediaTek Inc.
4 */
5
6#include <linux/linkage.h>
7
8.extern	preloader_param
9
10ENTRY(save_boot_params)
11	ldr	r6, =preloader_param
12	str	r4, [r6]
13	b	save_boot_params_ret
14ENDPROC(save_boot_params)
15
16ENTRY(lowlevel_init)
17	/* enable SMP bit */
18	mrc	p15, 0, r0, c1, c0, 1
19	orr	r0, r0, #0x40
20	mcr	p15, 0, r0, c1, c0, 1
21	mov	pc, lr
22ENDPROC(lowlevel_init)
23