1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (C) 2017 Socionext Inc.
4 */
5
6#include <linux/linkage.h>
7
8ENTRY(lowlevel_init)
9	/* LD20 needs the following code to boot.  I do not know why. */
10	mrs	x0, sctlr_el1
11	msr	sctlr_el1, x0
12	ret
13ENDPROC(lowlevel_init)
14