On 30/08/2024 10:46 pm, Daniel P. Smith wrote:
> @@ -1379,6 +1379,7 @@ void asmlinkage __init noreturn __start_xen(unsigned
> long mbi_p)
>
> if ( xen_phys_start )
> {
> + int idx = boot_info->nr_mods;unsigned int, but I'd be tempted to name it xen, so the hunk below is a bit more intuitive to read. ~Andrew
