efi_get_iobase    440 arch/ia64/kernel/setup.c 	phys_iobase = efi_get_iobase();
efi_get_iobase   1077 include/linux/efi.h extern u64 efi_get_iobase (void);