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