Hi Julien, > On Oct 14, 2023, at 01:16, Julien Grall <[email protected]> wrote: > > Hi Henry, > > On 09/10/2023 02:03, Henry Wang wrote: >> +#ifdef CONFIG_ARM_64 >> +int init_secondary_pagetables(int cpu) >> +{ >> + clear_boot_pagetables(); >> + >> + /* >> + * Set init_ttbr for this CPU coming up. All CPus share a single setof >> + * pagetables, but rewrite it each time for consistency with 32 bit. >> + */ >> + init_ttbr = virt_to_maddr((uintptr_t) xen_pgtable); > > The cast should be necessary. With this dropped:
Nice catch, my mistake, will change in v8. > > Reviewed-by: Julien Grall <[email protected]> Thanks! Kind regards, Henry > > Cheers, > > -- > Julien Grall
