1 /* SPDX-License-Identifier: GPL-2.0 */
3 * Copyright (C) 2019 SiFive, Inc.
8 #include <linux/linkage.h>
9 #include <linux/init.h>
11 extern atomic_t hart_lottery;
13 asmlinkage void __init setup_vm(uintptr_t dtb_pa);
14 #ifdef CONFIG_XIP_KERNEL
15 asmlinkage void __init __copy_data(void);
18 #ifdef CONFIG_RISCV_BOOT_SPINWAIT
19 extern void *__cpu_spinwait_stack_pointer[];
20 extern void *__cpu_spinwait_task_pointer[];
23 #endif /* __ASM_HEAD_H */