[xen staging] libxc: fix compilation error with gcc13

[patchbot@xxxxxxx]

commit 8eeae8c2b4efefda8e946461e86cf2ae9c18e5a9
Author:     Charles Arnold <carnold@xxxxxxxx>
AuthorDate: Wed Jul 6 13:06:40 2022 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Wed Jul 6 13:06:40 2022 +0200

    libxc: fix compilation error with gcc13
    
    xc_psr.c:161:5: error: conflicting types for 'xc_psr_cmt_get_data'
    due to enum/integer mismatch;
    
    Signed-off-by: Charles Arnold <carnold@xxxxxxxx>
    Reviewed-by: Jan Beulich <jbeulich@xxxxxxxx>
    Acked-by: Anthony PERARD <anthony.perard@xxxxxxxxxx>
---
 tools/include/xenctrl.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/include/xenctrl.h b/tools/include/xenctrl.h
index 5464a68eb2..0c8b4c3aa7 100644
--- a/tools/include/xenctrl.h
+++ b/tools/include/xenctrl.h
@@ -2520,7 +2520,7 @@ int xc_psr_cmt_get_l3_event_mask(xc_interface *xch, 
uint32_t *event_mask);
 int xc_psr_cmt_get_l3_cache_size(xc_interface *xch, uint32_t cpu,
                                  uint32_t *l3_cache_size);
 int xc_psr_cmt_get_data(xc_interface *xch, uint32_t rmid, uint32_t cpu,
-                        uint32_t psr_cmt_type, uint64_t *monitor_data,
+                        xc_psr_cmt_type type, uint64_t *monitor_data,
                         uint64_t *tsc);
 int xc_psr_cmt_enabled(xc_interface *xch);
 
--
generated by git-patchbot for /home/xen/git/xen.git#staging