debug

Signed-off-by: Paul Durrant <pdurrant@amazon.com>

diff --git a/xen/arch/x86/hvm/viridian/viridian.c b/xen/arch/x86/hvm/viridian/viridian.c
index 0f34a5223a1795b1cb93bdb316f3d54323d4d32d..2b558a6fb86e089f99deed1bb2caf8961bcf6abe 100644 (file)
--- a/xen/arch/x86/hvm/viridian/viridian.c
+++ b/xen/arch/x86/hvm/viridian/viridian.c
@@ -679,6 +679,13 @@ static int hvcall_flush(union hypercall_input *input,
         uint64_t flags;
         uint64_t vcpu_mask;
     } input_params;
+    static bool called;
+
+    if ( !called )
+    {
+        printk("%s: called\n", __func__);
+        called = true;
+    }
 
     /* These hypercalls should never use the fast-call convention. */
     if ( input->fast )
@@ -736,6 +743,13 @@ static int hvcall_flush_ex(union hypercall_input *input,
         uint64_t flags;
         struct hv_vpset set;
     } input_params;
+    static bool called;
+
+    if ( !called )
+    {
+        printk("%s: called\n", __func__);
+        called = true;
+    }
 
     /* These hypercalls should never use the fast-call convention. */
     if ( input->fast )
@@ -816,6 +830,13 @@ static int hvcall_ipi(union hypercall_input *input,
     uint32_t vector;
     uint64_t vcpu_mask;
     unsigned int vp;
+    static bool called;
+
+    if ( !called )
+    {
+        printk("%s: called\n", __func__);
+        called = true;
+    }
 
     /* Get input parameters. */
     if ( input->fast )
@@ -885,6 +906,13 @@ static int hvcall_ipi_ex(union hypercall_input *input,
     struct hv_vpset *set = &vpset->set;
     size_t size;
     int rc;
+    static bool called;
+
+    if ( !called )
+    {
+        printk("%s: called\n", __func__);
+        called = true;
+    }
 
     /* These hypercalls should never use the fast-call convention. */
     if ( input->fast )