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 do_page_fault(struct pt_regs *regs);
14 asmlinkage void __init setup_vm(uintptr_t dtb_pa);
15 #ifdef CONFIG_XIP_KERNEL
16 asmlinkage void __init __copy_data(void);
17 #endif
18 
19 #ifdef CONFIG_RISCV_BOOT_SPINWAIT
20 extern void *__cpu_spinwait_stack_pointer[];
21 extern void *__cpu_spinwait_task_pointer[];
22 #endif
23 
24 #endif /* __ASM_HEAD_H */
25