x86/xen: use correct printf specifier.

Use %p instead of wrongly casting to uintptr_t and printing with %lx.

Reported by: bapt
Fixes: 9a687d1fe3 ('x86/xen: introduce a Xen early init function')
Sponsored by: Cloud Software Group
This commit is contained in:
Roger Pau Monné 2024-02-22 15:26:56 +01:00
parent 059fd69e74
commit f62d90e5e9

View file

@ -153,7 +153,7 @@ early_init_vtop(void *addr)
* initialization.
*/
if (__predict_false((uintptr_t)addr < KERNBASE)) {
xc_printf("invalid linear address: %#lx\n", (uintptr_t)addr);
xc_printf("invalid linear address: %p\n", addr);
halt();
}