commit caffa89a06275b6b50ace99170b99b500b7b32f7
Author: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
Date:   Wed Nov 29 12:23:25 2023 +0100

    x86_64/platform_hypercall: provide proper declarations for compat_*
    
    Signed-off-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>

diff --git a/xen/arch/x86/x86_64/platform_hypercall.c b/xen/arch/x86/x86_64/platform_hypercall.c
index 347f5d65330e..3ad15742d9ef 100644
--- a/xen/arch/x86/x86_64/platform_hypercall.c
+++ b/xen/arch/x86/x86_64/platform_hypercall.c
@@ -5,6 +5,7 @@
 EMIT_FILE;
 
 #include <xen/lib.h>
+#include <xen/pmstat.h>
 #include <xen/hypercall.h>
 
 #define xen_platform_op     compat_platform_op
@@ -14,11 +15,13 @@ EMIT_FILE;
 #define efi_get_info        efi_compat_get_info
 #define efi_runtime_call(x) efi_compat_runtime_call(x)
 
-#define xen_processor_performance compat_processor_performance
-#define set_px_pminfo       compat_set_px_pminfo
+#define xen_processor_performance compat_xen_processor_performance
+int compat_set_px_pminfo(uint32_t acpi_id, 
+                         struct compat_xen_processor_performance *perf);
 
-#define xen_processor_power compat_processor_power
-#define set_cx_pminfo       compat_set_cx_pminfo
+#define xen_processor_power       compat_xen_processor_power
+long compat_set_cx_pminfo(uint32_t acpi_id,
+                          struct compat_xen_processor_power *power);
 
 #define xen_pf_pcpuinfo xenpf_pcpuinfo
 CHECK_pf_pcpuinfo;