Symbol: SBI_SHUTDOWN
sys/arch/riscv64/include/sbi.h
221
(void)SBI_CALL0(SBI_SHUTDOWN, 0);
sys/arch/riscv64/riscv64/sbi.c
185
KASSERTMSG(sbi_probe_extension(SBI_SHUTDOWN) != 0,