From cfd4e99d18d02cfbcf2e77d10be6eb5928662f33 Mon Sep 17 00:00:00 2001 From: Alejandro Vallejo Date: Tue, 22 Sep 2026 09:22:54 +0200 Subject: [PATCH] x86/vpmu: Fix incorrect printk format specifiers The patch in Fixes adjusted two vendor variables from uint8_t and plain int to to unsigned int. But they were both used later in printks with the %d specifier rather than %u. Adjust accordingly. Fixes: 39a9a49449d7 ("x86: Remove x86 prefixed names from x86/cpu/ files") Signed-off-by: Alejandro Vallejo Acked-by: Andrew Cooper --- xen/arch/x86/cpu/vpmu.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/cpu/vpmu.c b/xen/arch/x86/cpu/vpmu.c index 470f5ec98d..e0f7edded3 100644 --- a/xen/arch/x86/cpu/vpmu.c +++ b/xen/arch/x86/cpu/vpmu.c @@ -417,7 +417,7 @@ static int vpmu_arch_initialise(struct vcpu *v) { if ( vpmu_mode != XENPMU_MODE_OFF ) { - printk(XENLOG_G_WARNING "VPMU: Unknown CPU vendor %d. " + printk(XENLOG_G_WARNING "VPMU: Unknown CPU vendor %u. " "Disabling VPMU\n", vendor); opt_vpmu_enabled = 0; vpmu_mode = XENPMU_MODE_OFF; @@ -849,7 +849,7 @@ static int __init cf_check vpmu_init(void) #endif default: - printk(XENLOG_WARNING "VPMU: Unknown CPU vendor: %d. " + printk(XENLOG_WARNING "VPMU: Unknown CPU vendor: %u. " "Turning VPMU off.\n", vendor); break; }