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 extern void *__cpu_up_stack_pointer[];
20 extern void *__cpu_up_task_pointer[];
22 #endif /* __ASM_HEAD_H */