linux/arch/riscv/kernel/sbi.c