1// See LICENSE for license details.
2
3#ifndef _RISCV_FINISHER_H
4#define _RISCV_FINISHER_H
5
6#include <stdint.h>
7
8#define FINISHER_REG_FINISH	0
9#define FINISHER_FAIL		0x3333
10#define FINISHER_PASS		0x5555
11
12void finisher_exit(uint16_t code);
13void query_finisher(uintptr_t fdt);
14
15#endif
16