Searched refs:cpu0_pgtable (Results 1 – 1 of 1) sorted by relevance
110 lpae_t cpu0_pgtable[LPAE_ENTRIES] __attribute__((__aligned__(4096))); variable632 p = (void *) cpu0_pgtable; in setup_pagetables()681 ttbr = (uintptr_t) cpu0_pgtable + phys_offset; in setup_pagetables()727 per_cpu(xen_pgtable, 0) = cpu0_pgtable; in setup_pagetables()764 memcpy(first, cpu0_pgtable, PAGE_SIZE); in init_secondary_pagetables()
Completed in 5 milliseconds