KVM_RISCV_SBI_EXT_MAX
enum kvm_riscv_sbi_ext_status ext_status[KVM_RISCV_SBI_EXT_MAX];
KVM_REG_RISCV_SBI_MULTI_REG(KVM_RISCV_SBI_EXT_MAX - 1)
if (idx >= KVM_RISCV_SBI_EXT_MAX)
if (ext_id >= KVM_RISCV_SBI_EXT_MAX)
if (ext_id >= KVM_RISCV_SBI_EXT_MAX)
for (int i = 0; i < KVM_RISCV_SBI_EXT_MAX; i++) {
.ext_idx = KVM_RISCV_SBI_EXT_MAX, /* Can't be disabled */
if (entry->ext_idx >= KVM_RISCV_SBI_EXT_MAX ||
for (int i = 0; i < KVM_RISCV_SBI_EXT_MAX; i++) {
static bool sbi_ext_enabled[KVM_RISCV_SBI_EXT_MAX];