Page MenuHomeFreeBSD
Differential D26952 Diff 78788 head/sys/riscv/riscv/sbi.c

Changeset View

Standalone View

View Options

head/sys/riscv/riscv/sbi.c

Show First 20 Lines • Show All 177 Lines • ▼ Show 20 Linessbi_init(void)
* to be implemented, but this is not guaranteed by the spec. * to be implemented, but this is not guaranteed by the spec.
*/ */
KASSERT(sbi_probe_extension(SBI_SET_TIMER) != 0, KASSERT(sbi_probe_extension(SBI_SET_TIMER) != 0,
("SBI doesn't implement sbi_set_timer()")); ("SBI doesn't implement sbi_set_timer()"));
KASSERT(sbi_probe_extension(SBI_CONSOLE_PUTCHAR) != 0, KASSERT(sbi_probe_extension(SBI_CONSOLE_PUTCHAR) != 0,
("SBI doesn't implement sbi_console_putchar()")); ("SBI doesn't implement sbi_console_putchar()"));
KASSERT(sbi_probe_extension(SBI_CONSOLE_GETCHAR) != 0, KASSERT(sbi_probe_extension(SBI_CONSOLE_GETCHAR) != 0,
("SBI doesn't implement sbi_console_getchar()")); ("SBI doesn't implement sbi_console_getchar()"));
KASSERT(sbi_probe_extension(SBI_CLEAR_IPI) != 0,
("SBI doesn't implement sbi_clear_ipi()"));
KASSERT(sbi_probe_extension(SBI_SEND_IPI) != 0, KASSERT(sbi_probe_extension(SBI_SEND_IPI) != 0,
("SBI doesn't implement sbi_send_ipi()")); ("SBI doesn't implement sbi_send_ipi()"));
KASSERT(sbi_probe_extension(SBI_REMOTE_FENCE_I) != 0, KASSERT(sbi_probe_extension(SBI_REMOTE_FENCE_I) != 0,
("SBI doesn't implement sbi_remote_fence_i()")); ("SBI doesn't implement sbi_remote_fence_i()"));
KASSERT(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA) != 0, KASSERT(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA) != 0,
("SBI doesn't implement sbi_remote_sfence_vma()")); ("SBI doesn't implement sbi_remote_sfence_vma()"));
KASSERT(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA_ASID) != 0, KASSERT(sbi_probe_extension(SBI_REMOTE_SFENCE_VMA_ASID) != 0,
("SBI doesn't implement sbi_remote_sfence_vma_asid()")); ("SBI doesn't implement sbi_remote_sfence_vma_asid()"));
Show All 12 Lines