src/arch/riscv/include/arch/stages.h


1
2
3
4
5
6
7
8
9
10
11
12

/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#ifndef __ARCH_STAGES_H
#define __ARCH_STAGES_H

#include <main_decl.h>

void stage_entry(int hart_id, void *fdt)
	__attribute__((section(".text.stage_entry")));

#endif