Function sbi_shutdown

libcpu/risc-v/common64/sbi.h:235–239

}

static __inline void
sbi_shutdown(void)
{
    (void)SBI_CALL0(SBI_SHUTDOWN, 0);
}

void sbi_print_version(void);
void sbi_init(void);