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: Reviewed-by: Julien Grall <[email protected]> Cheers, -- Julien Grall
