sys/arch/riscv64/riscv64/sbi.c

169

KASSERTMSG(sbi_probe_extension(SBI_SET_TIMER) != 0,

sys/arch/riscv64/riscv64/sbi.c

171

KASSERTMSG(sbi_probe_extension(SBI_CONSOLE_PUTCHAR) != 0,

sys/arch/riscv64/riscv64/sbi.c

173

KASSERTMSG(sbi_probe_extension(SBI_CONSOLE_GETCHAR) != 0,

sys/arch/riscv64/riscv64/sbi.c

175

KASSERTMSG(sbi_probe_extension(SBI_CLEAR_IPI) != 0,

sys/arch/riscv64/riscv64/sbi.c

177

KASSERTMSG(sbi_probe_extension(SBI_SEND_IPI) != 0,

sys/arch/riscv64/riscv64/sbi.c

179

KASSERTMSG(sbi_probe_extension(SBI_REMOTE_FENCE_I) != 0,

sys/arch/riscv64/riscv64/sbi.c

181

KASSERTMSG(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA) != 0,

sys/arch/riscv64/riscv64/sbi.c

183

KASSERTMSG(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA_ASID) != 0,

sys/arch/riscv64/riscv64/sbi.c

185

KASSERTMSG(sbi_probe_extension(SBI_SHUTDOWN) != 0,

sys/arch/riscv64/riscv64/sbi.c

192

if (sbi_probe_extension(SBI_EXT_ID_SRST) != 0) {