24 lines
490 B
C
24 lines
490 B
C
/* 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 */
|