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);