Symbol: SBI_SHUTDOWN
sys/riscv/riscv/sbi.c
115
(void)SBI_CALL0(SBI_SHUTDOWN, 0);
sys/riscv/riscv/sbi.c
345
KASSERT(has_srst_extension || sbi_probe_extension(SBI_SHUTDOWN) != 0,