blob: dfc8875fbb3bf1914a7fb42a506a754fb43cf13d [file] [log] [blame]
/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef _ASMRISCV_SETUP_H_
#define _ASMRISCV_SETUP_H_
#include <libcflat.h>
#include <asm/processor.h>
#define NR_CPUS 16
extern struct thread_info cpus[NR_CPUS];
extern int nr_cpus;
int hartid_to_cpu(unsigned long hartid);
void io_init(void);
void setup(const void *fdt, phys_addr_t freemem_start);
#ifdef CONFIG_EFI
#include <efi.h>
static inline efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo) { return 0; }
#endif
#endif /* _ASMRISCV_SETUP_H_ */