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
