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 11extern atomic_t hart_lottery; 12 13asmlinkage void do_page_fault(struct pt_regs *regs); 14asmlinkage void __init setup_vm(uintptr_t dtb_pa); 15#ifdef CONFIG_XIP_KERNEL 16asmlinkage void __init __copy_data(void); 17#endif 18 19#ifdef CONFIG_RISCV_BOOT_SPINWAIT 20extern void *__cpu_spinwait_stack_pointer[]; 21extern void *__cpu_spinwait_task_pointer[]; 22#endif 23 24#endif /* __ASM_HEAD_H */ 25