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