Lines Matching refs:xen_phys_start
66 if ( xen_phys_start + base_relocs->rva == (unsigned long)l3_bootmap || in efi_arch_relocate_image()
67 xen_phys_start + base_relocs->rva == (unsigned long)l2_bootmap ) in efi_arch_relocate_image()
72 unsigned long addr = xen_phys_start + base_relocs->rva + in efi_arch_relocate_image()
84 *(u32 *)addr += xen_phys_start; in efi_arch_relocate_image()
234 efi_arch_relocate_image(__XEN_VIRT_START - xen_phys_start); in efi_arch_post_exit_boot()
588 unsigned int slot = (xen_phys_start >> L2_PAGETABLE_SHIFT) + i; in efi_arch_memory_setup()
596 l3_bootmap[l3_table_offset(xen_phys_start)] = in efi_arch_memory_setup()
598 l3_bootmap[l3_table_offset(xen_phys_start + (8 << L2_PAGETABLE_SHIFT) - 1)] = in efi_arch_memory_setup()
662 xen_phys_start = (UINTN)loaded_image->ImageBase; in efi_arch_load_addr_check()
663 if ( (xen_phys_start + loaded_image->ImageSize - 1) >> 32 ) in efi_arch_load_addr_check()
665 if ( xen_phys_start & ((1 << L2_PAGETABLE_SHIFT) - 1) ) in efi_arch_load_addr_check()
667 trampoline_xen_phys_start = xen_phys_start; in efi_arch_load_addr_check()