Searched refs:xen_second (Results 1 – 1 of 1) sorted by relevance
134 lpae_t xen_second[LPAE_ENTRIES*2] __attribute__((__aligned__(4096*2))); variable598 write_pte(xen_second + second_table_offset(BOOT_FDT_VIRT_START), pte); in remove_early_mappings()638 p[i] = pte_of_xenaddr((uintptr_t)(xen_second+i*LPAE_ENTRIES)); in setup_pagetables()657 xen_second[second_table_offset(XEN_VIRT_START)] = pte; in setup_pagetables()662 xen_second[second_table_offset(FIXMAP_ADDR(0))] = pte; in setup_pagetables()666 xen_second[second_table_offset(BOOT_FDT_VIRT_START)] = pte; in setup_pagetables()668 xen_second[second_table_offset(BOOT_FDT_VIRT_START + SZ_2M)] = pte; in setup_pagetables()674 xen_second[second_table_offset(dest_va)] = pte; in setup_pagetables()718 write_pte(xen_second + second_linear_offset(XEN_VIRT_START), pte); in setup_pagetables()925 create_mappings(xen_second, FRAMETABLE_VIRT_START, mfn_x(base_mfn), in setup_frametable_mappings()[all …]
Completed in 6 milliseconds