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 |