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