x86/viridian: address violations of MISRA C:2012 Rule 7.2

The xen sources contains violations of MISRA C:2012 Rule 7.2 whose
headline states:
"A 'u' or 'U' suffix shall be applied to all integer constants
that are represented in an unsigned type".

Add the 'U' suffix to integers literals with unsigned type and also to other
literals used in the same contexts or near violations, when their positive
nature is immediately clear. The latter changes are done for the sake of
uniformity.

Signed-off-by: Gianluca Luparini <gianluca.luparini@bugseng.com>
Signed-off-by: Simone Ballarin <simone.ballarin@bugseng.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Reviewed-by: Paul Durrant <paul@xen.org>
This commit is contained in:
Gianluca Luparini authored and Jan Beulich committed 2023-09-12 11:02:51 +02:00
1 parent 7a952cc3ec
commit 5e8df433db
2 files changed
+15 -15

No files matched your search

+1 -1
View File
@@ -291,7 +291,7 @@ static void enable_hypercall_page(struct domain *d)
* calling convention) to differentiate Xen and Viridian hypercalls.
*/
*(u8 *)(p + 0) = 0x0d; /* orl $0x80000000, %eax */
*(u32 *)(p + 1) = 0x80000000;
*(u32 *)(p + 1) = 0x80000000U;
*(u8 *)(p + 5) = 0x0f; /* vmcall/vmmcall */
*(u8 *)(p + 6) = 0x01;
*(u8 *)(p + 7) = (cpu_has_vmx ? 0xc1 : 0xd9);
+14 -14
View File
@@ -471,30 +471,30 @@ typedef struct _HV_REFERENCE_TSC_PAGE {
/* Define hypervisor message types. */
enum hv_message_type {
HVMSG_NONE = 0x00000000,
HVMSG_NONE = 0x00000000U,
/* Memory access messages. */
HVMSG_UNMAPPED_GPA = 0x80000000,
HVMSG_GPA_INTERCEPT = 0x80000001,
HVMSG_UNMAPPED_GPA = 0x80000000U,
HVMSG_GPA_INTERCEPT = 0x80000001U,
/* Timer notification messages. */
HVMSG_TIMER_EXPIRED = 0x80000010,
HVMSG_TIMER_EXPIRED = 0x80000010U,
/* Error messages. */
HVMSG_INVALID_VP_REGISTER_VALUE = 0x80000020,
HVMSG_UNRECOVERABLE_EXCEPTION = 0x80000021,
HVMSG_UNSUPPORTED_FEATURE = 0x80000022,
HVMSG_INVALID_VP_REGISTER_VALUE = 0x80000020U,
HVMSG_UNRECOVERABLE_EXCEPTION = 0x80000021U,
HVMSG_UNSUPPORTED_FEATURE = 0x80000022U,
/* Trace buffer complete messages. */
HVMSG_EVENTLOG_BUFFERCOMPLETE = 0x80000040,
HVMSG_EVENTLOG_BUFFERCOMPLETE = 0x80000040U,
/* Platform-specific processor intercept messages. */
HVMSG_X64_IOPORT_INTERCEPT = 0x80010000,
HVMSG_X64_MSR_INTERCEPT = 0x80010001,
HVMSG_X64_CPUID_INTERCEPT = 0x80010002,
HVMSG_X64_EXCEPTION_INTERCEPT = 0x80010003,
HVMSG_X64_APIC_EOI = 0x80010004,
HVMSG_X64_LEGACY_FP_ERROR = 0x80010005
HVMSG_X64_IOPORT_INTERCEPT = 0x80010000U,
HVMSG_X64_MSR_INTERCEPT = 0x80010001U,
HVMSG_X64_CPUID_INTERCEPT = 0x80010002U,
HVMSG_X64_EXCEPTION_INTERCEPT = 0x80010003U,
HVMSG_X64_APIC_EOI = 0x80010004U,
HVMSG_X64_LEGACY_FP_ERROR = 0x80010005U
};
/* Define synthetic interrupt controller message flags. */
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.