sbi.h

Go to the documentation of this file.

#pragma once
 
#include <types.h>
 
typedef struct {
    isize err;
    isize val;
} sbi_res_t;
 
sbi_res_t sbi_ecall(i32 eid, i32 fid, ...);
i32 sbi_map_err(isize err);
 
#define SBI_EID_TIME 0x54494D45
 
static inline i32 sbi_set_timer(u64 time) {
    return sbi_map_err(sbi_ecall(SBI_EID_TIME, 0, time).err);
}
 
#define SBI_EID_SRST 0x53525354
 
typedef enum {
    SBI_REBOOT_TYPE_SHUTDOWN = 0,
    SBI_REBOOT_TYPE_REBOOT = 1,
} sbi_reboot_type_t;
 
typedef enum {
    SBI_REBOOT_REASON_NONE = 0,
} sbi_reboot_reason_t;
 
static inline i32 sbi_reboot(sbi_reboot_type_t type,
                             sbi_reboot_reason_t reason) {
    return sbi_map_err(sbi_ecall(SBI_EID_SRST, 0, type, reason).err);
}