efi_va             56 arch/x86/platform/efi/efi_64.c static u64 efi_va = EFI_VA_START;
efi_va            455 arch/x86/platform/efi/efi_64.c 	efi_va -= size;
efi_va            459 arch/x86/platform/efi/efi_64.c 		efi_va &= PMD_MASK;
efi_va            462 arch/x86/platform/efi/efi_64.c 		u64 prev_va = efi_va;
efi_va            465 arch/x86/platform/efi/efi_64.c 		efi_va = (efi_va & PMD_MASK) + pa_offset;
efi_va            467 arch/x86/platform/efi/efi_64.c 		if (efi_va > prev_va)
efi_va            468 arch/x86/platform/efi/efi_64.c 			efi_va -= PMD_SIZE;
efi_va            471 arch/x86/platform/efi/efi_64.c 	if (efi_va < EFI_VA_END) {
efi_va            477 arch/x86/platform/efi/efi_64.c 	__map_region(md, efi_va);
efi_va            478 arch/x86/platform/efi/efi_64.c 	md->virt_addr = efi_va;