diff options
Diffstat (limited to 'include/sbi/sbi_ecall_interface.h')
-rw-r--r-- | include/sbi/sbi_ecall_interface.h | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/include/sbi/sbi_ecall_interface.h b/include/sbi/sbi_ecall_interface.h index 0d8e5ea..a7564d6 100644 --- a/include/sbi/sbi_ecall_interface.h +++ b/include/sbi/sbi_ecall_interface.h @@ -12,15 +12,17 @@ /* clang-format off */ -#define SBI_ECALL_SET_TIMER 0 -#define SBI_ECALL_CONSOLE_PUTCHAR 1 -#define SBI_ECALL_CONSOLE_GETCHAR 2 -#define SBI_ECALL_CLEAR_IPI 3 -#define SBI_ECALL_SEND_IPI 4 -#define SBI_ECALL_REMOTE_FENCE_I 5 -#define SBI_ECALL_REMOTE_SFENCE_VMA 6 -#define SBI_ECALL_REMOTE_SFENCE_VMA_ASID 7 -#define SBI_ECALL_SHUTDOWN 8 +enum sbi_ext_id { + SBI_EXT_0_1_SET_TIMER = 0x0, + SBI_EXT_0_1_CONSOLE_PUTCHAR = 0x1, + SBI_EXT_0_1_CONSOLE_GETCHAR = 0x2, + SBI_EXT_0_1_CLEAR_IPI = 0x3, + SBI_EXT_0_1_SEND_IPI = 0x4, + SBI_EXT_0_1_REMOTE_FENCE_I = 0x5, + SBI_EXT_0_1_REMOTE_SFENCE_VMA = 0x6, + SBI_EXT_0_1_REMOTE_SFENCE_VMA_ASID = 0x7, + SBI_EXT_0_1_SHUTDOWN = 0x8, +}; /* clang-format on */ |