[xen staging] x86/MCE: adjust ID2COOKIE() for Misra C:2012 rule 11.2

[patchbot@xxxxxxx]

commit 5e1f756fb747aa51d763b40abc5d41e598dbdcee
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Tue May 19 09:34:57 2026 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Tue May 19 10:59:46 2026 +0200

    x86/MCE: adjust ID2COOKIE() for Misra C:2012 rule 11.2
    
    ... ("Conversions shall not be performed between a pointer to an
    incomplete type and any other type"): Add an intermediate cast to void *.
    
    Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
    Reviewed-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
---
 xen/arch/x86/cpu/mcheck/mce.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/xen/arch/x86/cpu/mcheck/mce.c b/xen/arch/x86/cpu/mcheck/mce.c
index c4b3b687a2..64fa66f026 100644
--- a/xen/arch/x86/cpu/mcheck/mce.c
+++ b/xen/arch/x86/cpu/mcheck/mce.c
@@ -1264,7 +1264,8 @@ static void cf_check __maybe_unused x86_mc_mceinject(void 
*data)
 
 #if BITS_PER_LONG == 64
 
-#define ID2COOKIE(id) ((mctelem_cookie_t)(id))
+/* Two layers of casting to cover Misra C:2012 rule 11.2. */
+#define ID2COOKIE(id) ((mctelem_cookie_t)(void *)(id))
 #define COOKIE2ID(c) ((uint64_t)(c))
 
 #elif defined(BITS_PER_LONG)
--
generated by git-patchbot for /home/xen/git/xen.git#staging