1// See LICENSE for license details.
2
3#ifndef _RISCV_SBI_H
4#define _RISCV_SBI_H
5
6#define SBI_SET_TIMER 0
7#define SBI_CONSOLE_PUTCHAR 1
8#define SBI_CONSOLE_GETCHAR 2
9#define SBI_CLEAR_IPI 3
10#define SBI_SEND_IPI 4
11#define SBI_REMOTE_FENCE_I 5
12#define SBI_REMOTE_SFENCE_VMA 6
13#define SBI_REMOTE_SFENCE_VMA_ASID 7
14#define SBI_SHUTDOWN 8
15
16#endif
17