/* SPDX-License-Identifier: GPL-2.0 */ | |
/* | |
* Copyright (C) 2019 SiFive, Inc. | |
*/ | |
#ifndef __ASM_HEAD_H | |
#define __ASM_HEAD_H | |
#include <linux/linkage.h> | |
#include <linux/init.h> | |
extern atomic_t hart_lottery; | |
asmlinkage void __init setup_vm(uintptr_t dtb_pa); | |
#ifdef CONFIG_XIP_KERNEL | |
asmlinkage void __init __copy_data(void); | |
#endif | |
#ifdef CONFIG_RISCV_BOOT_SPINWAIT | |
extern void *__cpu_spinwait_stack_pointer[]; | |
extern void *__cpu_spinwait_task_pointer[]; | |
#endif | |
#endif /* __ASM_HEAD_H */ |