1 /* SPDX-License-Identifier: (GPL-2.0+ OR MIT) */
3 * Copyright (c) 2018 Microsemi Corporation
7 #include <asm/regdef.h>
10 .extern vcoreiii_tlb_init
11 #ifdef CONFIG_SOC_LUTON
17 * As we have no stack yet, we can assume the restricted
18 * luxury of the sX-registers without saving them
24 #ifdef CONFIG_SOC_LUTON