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
);
16 extern void *__cpu_up_stack_pointer
[];
17 extern void *__cpu_up_task_pointer
[];
19 #endif /* __ASM_HEAD_H */