EFI_MEMORY_MAPPED_IO_PORT_SPACE 70 boot/arch/arm64/src/main.c case EFI_MEMORY_MAPPED_IO_PORT_SPACE: EFI_MEMORY_MAPPED_IO_PORT_SPACE 117 boot/arch/ia64/src/main.c case EFI_MEMORY_MAPPED_IO_PORT_SPACE: