sbiret
struct sbiret sbi_remote_hfence_gvma_vmid( // FID #3
struct sbiret sbi_remote_hfence_gvma( // FID #4
struct sbiret sbi_remote_hfence_vvma_asid( // FID #5
struct sbiret sbi_remote_hfence_vvma( // FID #6
struct sbiret sbi_hart_start( // FID #0
struct sbiret sbi_hart_stop(void); // FID #1
struct sbiret sbi_hart_get_status(unsigned long hartid); // FID #2
struct sbiret sbi_hart_suspend( // FID #3
struct sbiret sbi_system_reset(uint32_t reset_type, uint32_t reset_reason); // FID #0
struct sbiret sbi_get_spec_version(void); // FID #0
struct sbiret sbi_get_impl_id(void); // FID #1
struct sbiret sbi_get_impl_version(void); // FID #2
struct sbiret sbi_probe_extension(long extension_id); // FID #3
struct sbiret sbi_get_mvendorid(void); // FID #4
struct sbiret sbi_get_marchid(void); // FID #5
struct sbiret sbi_get_mimpid(void); // FID #6
struct sbiret sbi_set_timer(uint64_t stime_value); // FID #0
struct sbiret sbi_send_ipi( // FID #0
struct sbiret sbi_remote_fence_i( // FID #0
struct sbiret sbi_remote_sfence_vma( // FID #1
struct sbiret sbi_remote_sfence_vma_asid( // FID #2
sbiret res;
sbiret res = sbi_hart_get_status(sCpus[i].id);
sbiret res;