Re: [PATCH v4 10/14] xen/arm32: head: Widen the use of the temporary mapping

[Julien Grall <julien@xxxxxxx>]

Hi,

On 24/01/2023 19:43, Julien Grall wrote:
> > > -        /*
> > > -         * This will override the link to boot_second in 
> > > XEN_FIRST_SLOT.
> > > -         * The page-tables are not live yet. So no need to use
> > > -         * break-before-make.
> > > -         */
> > >           create_table_entry boot_pgtable, boot_second_id, r9, 1
> > >           create_table_entry boot_second_id, boot_third_id, r9, 2
> > Do we need to duplicate this if we just did the same in 
> > create_page_tables before branching to
> > use_temporary_mapping?
> Hmmm... Possibly not. I will give a try and let you know.
I confirm this is not necessary. So I have removed the two lines.

Cheers,

--
Julien Grall