efi_memory_uc     127 arch/x86/include/asm/efi.h extern void __init efi_memory_uc(u64 addr, unsigned long size);
efi_memory_uc     627 arch/x86/platform/efi/efi.c 			efi_memory_uc((u64)(unsigned long)va, size);
efi_memory_uc     507 arch/x86/platform/efi/efi_64.c 		efi_memory_uc((u64)(unsigned long)__va(phys_addr), size);