Home
last modified time | relevance | path

Searched refs:SBI_SHUTDOWN (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/riscv/riscv/
H A Dsbi.c115 (void)SBI_CALL0(SBI_SHUTDOWN, 0); in sbi_system_reset()
326 KASSERT(has_srst_extension || sbi_probe_extension(SBI_SHUTDOWN) != 0, in sbi_init()
/freebsd/sys/riscv/include/
H A Dsbi.h118 #define SBI_SHUTDOWN 8 macro