|
Karg v0.2.0
The kernel of CargOS
|
#include <types.h>Go to the source code of this file.
Classes | |
| struct | sbi_res_t |
Macros | |
| #define | SBI_EID_TIME 0x54494D45 |
| #define | SBI_EID_SRST 0x53525354 |
Enumerations | |
| enum | sbi_reboot_type_t { SBI_REBOOT_TYPE_SHUTDOWN = 0 , SBI_REBOOT_TYPE_REBOOT = 1 } |
| enum | sbi_reboot_reason_t { SBI_REBOOT_REASON_NONE = 0 } |
Functions | |
| sbi_res_t | sbi_ecall (i32 eid, i32 fid,...) |
| i32 | sbi_map_err (isize err) |
| #define SBI_EID_SRST 0x53525354 |
| #define SBI_EID_TIME 0x54494D45 |
| enum sbi_reboot_reason_t |
| enum sbi_reboot_type_t |