On 14.08.2025 13:42, Andrew Cooper wrote: > On 14/08/2025 12:20 pm, Jan Beulich wrote: >> On 08.08.2025 22:23, Andrew Cooper wrote: >>> --- a/xen/arch/x86/include/asm/x86-defns.h >>> +++ b/xen/arch/x86/include/asm/x86-defns.h >>> @@ -75,6 +75,7 @@ >>> #define X86_CR4_PKE 0x00400000 /* enable PKE */ >>> #define X86_CR4_CET 0x00800000 /* Control-flow Enforcement >>> Technology */ >>> #define X86_CR4_PKS 0x01000000 /* Protection Key Supervisor */ >>> +#define X86_CR4_FRED 0x100000000 /* Fast Return and Event Delivery */ >> ... a UL suffix added here for Misra. > > I was surprised, but Eclair is entirely fine with this.
And there is a use of the identifier in a monitored C file? Jan
