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 */

 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 */