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

source code of linux/arch/riscv/kernel/head.h