sys/riscv/riscv/machdep.c

199

if (sbi_probe_extension(SBI_EXT_ID_HSM) != 0)

sys/riscv/riscv/mp_machdep.c

382

if (sbi_probe_extension(SBI_EXT_ID_HSM) != 0) {

sys/riscv/riscv/sbi.c

315

if (sbi_probe_extension(SBI_EXT_ID_TIME) != 0)

sys/riscv/riscv/sbi.c

317

if (sbi_probe_extension(SBI_EXT_ID_IPI) != 0)

sys/riscv/riscv/sbi.c

319

if (sbi_probe_extension(SBI_EXT_ID_RFNC) != 0)

sys/riscv/riscv/sbi.c

321

if (sbi_probe_extension(SBI_EXT_ID_SRST) != 0)

sys/riscv/riscv/sbi.c

328

KASSERT(has_time_extension || sbi_probe_extension(SBI_SET_TIMER) != 0,

sys/riscv/riscv/sbi.c

330

KASSERT(sbi_probe_extension(SBI_CONSOLE_PUTCHAR) != 0,

sys/riscv/riscv/sbi.c

332

KASSERT(sbi_probe_extension(SBI_CONSOLE_GETCHAR) != 0,

sys/riscv/riscv/sbi.c

334

KASSERT(has_ipi_extension || sbi_probe_extension(SBI_SEND_IPI) != 0,

sys/riscv/riscv/sbi.c

337

sbi_probe_extension(SBI_REMOTE_FENCE_I) != 0,

sys/riscv/riscv/sbi.c

340

sbi_probe_extension(SBI_REMOTE_SFENCE_VMA) != 0,

sys/riscv/riscv/sbi.c

343

sbi_probe_extension(SBI_REMOTE_SFENCE_VMA_ASID) != 0,

sys/riscv/riscv/sbi.c

345

KASSERT(has_srst_extension || sbi_probe_extension(SBI_SHUTDOWN) != 0,