machine/finisher.h


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

// See LICENSE for license details.

#ifndef _RISCV_FINISHER_H
#define _RISCV_FINISHER_H

#include <stdint.h>

#define FINISHER_REG_FINISH	0
#define FINISHER_FAIL		0x3333
#define FINISHER_PASS		0x5555

void finisher_exit(uint16_t code);
void query_finisher(uintptr_t fdt);

#endif