/* 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;
extern uint64_t timebase_frequency;
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>
efi_status_t setup_efi(efi_bootinfo_t *efi_bootinfo);
#endif

#endif /* _ASMRISCV_SETUP_H_ */