sbiret
sbiret.error);
if (sbiret.value == SBI_HART_STARTED) {
struct sbiret sbiret = sbi_hart_start(hartid, entry, cpuindex);
switch (sbiret.error) {
struct sbiret sbiret = sbi_hart_get_status(hartid);
switch (sbiret.error) {
struct sbiret sbi_set_timer(uint64_t stime_value);
struct sbiret sbi_send_ipi(unsigned long hart_mask,
struct sbiret sbi_remote_fence_i(unsigned long hart_mask,
struct sbiret sbi_remote_sfence_vma(unsigned long hart_mask,
struct sbiret sbi_remote_sfence_vma_asid(unsigned long hart_mask,
struct sbiret sbi_remote_hfence_gvma_vmid(unsigned long hart_mask,
struct sbiret sbi_remote_hfence_gvma(unsigned long hart_mask,
struct sbiret sbi_remote_hfence_vvma_asid(unsigned long hart_mask,
struct sbiret sbi_remote_hfence_vvma(unsigned long hart_mask,
struct sbiret sbi_hart_start(unsigned long hartid,
struct sbiret sbi_hart_stop(void);
struct sbiret sbi_hart_get_status(unsigned long hartid);
struct sbiret sbi_hart_suspend(uint32_t suspend_type,
struct sbiret sbi_system_reset(uint32_t reset_type, uint32_t reset_reason);
struct sbiret sbi_pmu_num_counters(void);
struct sbiret sbi_pmu_counter_get_info(unsigned long counter_idx);
struct sbiret sbi_pmu_counter_config_matching(unsigned long counter_idx_base,
struct sbiret sbi_pmu_counter_start(unsigned long counter_idx_base,
struct sbiret sbi_pmu_counter_stop(unsigned long counter_idx_base,
struct sbiret sbi_pmu_counter_fw_read(unsigned long counter_idx);
static inline struct sbiret
struct sbiret ret;
struct sbiret ret = SBI_LEGACY_CALL1(SBI_LEGACY_SET_TIMER, stime_value);
struct sbiret ret = SBI_LEGACY_CALL2(SBI_LEGACY_SET_TIMER,
struct sbiret ret = SBI_LEGACY_CALL1(SBI_LEGACY_CONSOLE_PUTCHAR, c);
struct sbiret ret = SBI_LEGACY_CALL0(SBI_LEGACY_CONSOLE_GETCHAR);
struct sbiret ret = SBI_LEGACY_CALL0(SBI_LEGACY_CLEAR_IPI);
struct sbiret ret = SBI_LEGACY_CALL1(SBI_LEGACY_SEND_IPI,
struct sbiret ret = SBI_LEGACY_CALL1(SBI_LEGACY_REMOTE_FENCE_I,
struct sbiret ret = SBI_LEGACY_CALL3(SBI_LEGACY_REMOTE_SFENCE_VMA,
struct sbiret ret = SBI_LEGACY_CALL4(SBI_LEGACY_REMOTE_SFENCE_VMA_ASID,
struct sbiret sbi_get_spec_version(void);
struct sbiret sbi_get_impl_id(void);
struct sbiret sbi_get_impl_version(void);
struct sbiret sbi_probe_extension(long extension_id);
struct sbiret sbi_get_mvendorid(void);
struct sbiret sbi_get_marchid(void);
struct sbiret sbi_get_mimpid(void);
struct sbiret sbiret = sbi_send_ipi(hartmask, 0);
KASSERT(sbiret.error == SBI_SUCCESS);
struct sbiret sbiret = sbi_send_ipi(hartmask, 0);
KASSERT(sbiret.error == SBI_SUCCESS);
struct sbiret sbiret = sbi_remote_sfence_vma_asid(hartmask,
KASSERTMSG(sbiret.error == SBI_SUCCESS, "error %ld",
sbiret.error);
struct sbiret sbiret = sbi_remote_sfence_vma(hartmask,
KASSERTMSG(sbiret.error == SBI_SUCCESS, "error %ld",
sbiret.error);
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret
struct sbiret ret = SBI_CALL1(SBI_EID_TIMER, SBI_FID_TIMER_SET,
struct sbiret ret = SBI_CALL2(SBI_EID_TIMER, SBI_FID_TIMER_SET,
struct sbiret