| /* SPDX-License-Identifier: GPL-2.0 */ |
| /* |
| * Copyright (C) 2019 SiFive, Inc. |
| */ |
| #ifndef __ASM_HEAD_H |
| #define __ASM_HEAD_H |
| |
| #include <linux/linkage.h> |
| #include <linux/init.h> |
| |
| extern atomic_t hart_lottery; |
| |
| asmlinkage void do_page_fault(struct pt_regs *regs); |
| asmlinkage void __init setup_vm(uintptr_t dtb_pa); |
| #ifdef CONFIG_XIP_KERNEL |
| asmlinkage void __init __copy_data(void); |
| #endif |
| |
| #ifdef CONFIG_RISCV_BOOT_SPINWAIT |
| extern void *__cpu_spinwait_stack_pointer[]; |
| extern void *__cpu_spinwait_task_pointer[]; |
| #endif |
| |
| #endif /* __ASM_HEAD_H */ |
