@@ -1582,18 +1582,26 @@ void kvm_riscv_aia_create(MachineState *machine, uint64_t group_shift,
error_report("KVM AIA: failed to get current KVM AIA mode");
exit(1);
}
- qemu_log("KVM AIA: default mode is %s\n",
- kvm_aia_mode_str(default_aia_mode));
- if (default_aia_mode != aia_mode) {
+ if (default_aia_mode == aia_mode) {
+ qemu_log("KVM AIA: using default host mode '%s'\n",
+ kvm_aia_mode_str(default_aia_mode));
+ } else {
ret = kvm_device_access(aia_fd, KVM_DEV_RISCV_AIA_GRP_CONFIG,
KVM_DEV_RISCV_AIA_CONFIG_MODE,
&aia_mode, true, NULL);
- if (ret < 0)
- warn_report("KVM AIA: failed to set KVM AIA mode");
- else
- qemu_log("KVM AIA: set current mode to %s\n",
+ if (ret < 0) {
+ warn_report("KVM AIA: failed to set KVM AIA mode '%s', using "
+ "default host mode '%s'",
+ kvm_aia_mode_str(aia_mode),
+ kvm_aia_mode_str(default_aia_mode));
+
+ /* failed to change AIA mode, use default */
+ aia_mode = default_aia_mode;
+ } else {
+ qemu_log("KVM AIA: setting current mode to %s\n",
kvm_aia_mode_str(aia_mode));
+ }
}
ret = kvm_device_access(aia_fd, KVM_DEV_RISCV_AIA_GRP_CONFIG,