On 01.04.2025 15:08, Roger Pau Monne wrote: > --- a/xen/arch/x86/efi/mkreloc.c > +++ b/xen/arch/x86/efi/mkreloc.c > @@ -270,8 +270,9 @@ static void diff_sections(const unsigned char *ptr1, > const unsigned char *ptr2, > > if ( !(sec->flags & IMAGE_SCN_MEM_WRITE) ) > fprintf(stderr, > - "Warning: relocation to r/o section %s:%08" PRIxFAST32 > "\n", > - get_name(sec->name), i - disp); > + "Warning: relocation to r/o section %s:%08" PRIxFAST32 " > @ %p\n", > + get_name(sec->name), i - disp, > + (void *)(base + sec->rva + i - disp));
This being a build tool, it may be built/run as 32-bit code. I fear the conversion to a pointer will not be liked by the compiler then, for (in this case) really losing half of the bits. Jan
