riscv vmm: clean up SBI code
- Use SBI standard error codes (with respect to the spec)
- riscv_send_ipi() now takes cpuset_t* as an argument
Differential Revision: https://reviews.freebsd.org/D48575
riscv vmm: clean up SBI code Tags None Referenced Files None Subscribers None
Description
Details
|