Lines Matching refs:BOOT_FDT_VIRT_START
570 BUILD_BUG_ON(BOOT_FDT_VIRT_START % SZ_2M); in early_fdt_map()
572 create_mappings(boot_second, BOOT_FDT_VIRT_START, paddr_to_pfn(base_paddr), in early_fdt_map()
576 fdt_virt = (void *)BOOT_FDT_VIRT_START + offset; in early_fdt_map()
587 create_mappings(boot_second, BOOT_FDT_VIRT_START + SZ_2M, in early_fdt_map()
598 write_pte(xen_second + second_table_offset(BOOT_FDT_VIRT_START), pte); in remove_early_mappings()
599 write_pte(xen_second + second_table_offset(BOOT_FDT_VIRT_START + SZ_2M), in remove_early_mappings()
601 flush_xen_data_tlb_range_va(BOOT_FDT_VIRT_START, BOOT_FDT_SLOT_SIZE); in remove_early_mappings()
665 pte = boot_second[second_table_offset(BOOT_FDT_VIRT_START)]; in setup_pagetables()
666 xen_second[second_table_offset(BOOT_FDT_VIRT_START)] = pte; in setup_pagetables()
667 pte = boot_second[second_table_offset(BOOT_FDT_VIRT_START + SZ_2M)]; in setup_pagetables()
668 xen_second[second_table_offset(BOOT_FDT_VIRT_START + SZ_2M)] = pte; in setup_pagetables()