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