CVS: cvs.openbsd.org: src

[Mark Kettenis]

CVSROOT:        /cvs
Module name:    src
Changes by:     kette...@cvs.openbsd.org        2024/03/29 16:11:34

Modified files:
        sys/arch/riscv64/riscv64: sbi.c 
        sys/arch/riscv64/include: sbi.h 

Log message:
Use SBI calls to reboot or power down the machine when the firmware
supports them.

ok jca@