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