Re: [RFC 6/9] hw: intc: arm_gicv3_common: add whpx

[Philippe Mathieu-Daudé]

On 31/7/25 07:27, Mohamed Mediouni wrote:

Redirect to the platform-specific vGICv3.

Signed-off-by: Mohamed Mediouni <moha...@unpredictable.fr>
---
  hw/intc/arm_gicv3_common.c | 3 +++
  1 file changed, 3 insertions(+)

diff --git a/hw/intc/arm_gicv3_common.c b/hw/intc/arm_gicv3_common.c
index e438d8c042..a83b075517 100644
--- a/hw/intc/arm_gicv3_common.c
+++ b/hw/intc/arm_gicv3_common.c
@@ -32,6 +32,7 @@
  #include "gicv3_internal.h"
  #include "hw/arm/linux-boot-if.h"
  #include "system/kvm.h"
+#include "system/whpx.h"

static void gicv3_gicd_no_migration_shift_bug_post_load(GICv3State *cs)

@@ -662,6 +663,8 @@ const char *gicv3_class_name(void)
  {
      if (kvm_irqchip_in_kernel()) {
          return "kvm-arm-gicv3";
+    } else if (whpx_enabled()) {
+        return "whpx-arm-gicv3";

While you follow a pre-existing pattern, here I'd prefer to use
TYPE_WHPX_GICV3 (after defining it in hw/intc/arm_gicv3_common.h).

      } else {
          if (kvm_enabled()) {
              error_report("Userspace GICv3 is not supported with KVM");