diff --git a/target/riscv/kvm.c b/target/riscv/kvm.c index dbcf26f27d..2953547cb6 100644 --- a/target/riscv/kvm.c +++ b/target/riscv/kvm.c @@ -926,7 +926,15 @@ int kvm_arch_init(MachineState *ms, KVMState *s) int kvm_arch_irqchip_create(KVMState *s) { - return 0; + if (kvm_kernel_irqchip_split()) { + error_report("-machine kernel_irqchip=split is not supported on RISC-V."); + exit(1); + } + + /* + * We can create the VAIA using the newer device control API. + */ + return kvm_check_extension(s, KVM_CAP_DEVICE_CTRL); } int kvm_arch_process_async_events(CPUState *cs)