Use SBI calls to reboot or power down the machine when the firmware
authorkettenis <kettenis@openbsd.org>
Fri, 29 Mar 2024 22:11:34 +0000 (22:11 +0000)
committerkettenis <kettenis@openbsd.org>
Fri, 29 Mar 2024 22:11:34 +0000 (22:11 +0000)
commit114916adda2ad533b1f9dddde71bb75e4cde5991
treefb413c24a837f562728d8c27cff560afcac5dcf3
parent8bd53da34d074a7bca1202244d6357983b8c33f3
Use SBI calls to reboot or power down the machine when the firmware
supports them.

ok jca@
sys/arch/riscv64/include/sbi.h
sys/arch/riscv64/riscv64/sbi.c