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
19void __init parse_dtb(void);
20
21#endif /* __ASM_HEAD_H */