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 15 #ifdef CONFIG_RISCV_BOOT_SPINWAIT 16 extern void *__cpu_spinwait_stack_pointer[]; 17 extern void *__cpu_spinwait_task_pointer[]; 18 #endif 19 20 #endif /* __ASM_HEAD_H */ 21