get_systab_virt_addr  829 arch/x86/platform/efi/efi.c 		get_systab_virt_addr(md);
get_systab_virt_addr  881 arch/x86/platform/efi/efi.c 		get_systab_virt_addr(md);