Re: [PATCH 11/15] x86/PVH: try to map initrd directly into Dom0

[Roger Pau Monné <roger@xxxxxxxxxxxxxx>]

On Mon, Oct 12, 2026 at 10:25:11AM +0200, Jan Beulich wrote:
> @@ -867,7 +1078,7 @@ static int __init pvh_load_kernel(
>          }
>          start_info.modlist_paddr = last_addr;
>          start_info.nr_modules = 1;
> -        last_addr += sizeof(mod);
> +        last_addr += sizeof(*mod);
>      }
>  
>      start_info.magic = XEN_HVM_START_MAGIC_VALUE;

Isn't this still not properly ordered, as start_info address must
strictly be below 4GB (as is passed in a CPU register with the CPU in
32bit mode), yet it is allocated last in pvh_load_kernel()?

Thanks, Roger.