1. 2013-08-01 Re: [PATCH 4/4] efi: x86: make efi_lookup_mapped_addr linux-ker Leif Lindholm 2. 2013-08-01 Re: [PATCH 4/4] efi: x86: make efi_lookup_mapped_addr linux-ia6 Leif Lindholm 3. 2013-07-31 Re: [PATCH 4/4] efi: x86: make efi_lookup_mapped_addr linux-ia6 Matt Fleming 4. 2013-07-31 Re: [PATCH 4/4] efi: x86: make efi_lookup_mapped_addr linux-ker Matt Fleming 5. 2013-07-30 [PATCH 4/4] efi: x86: make efi_lookup_mapped_addr() a linux-ker Leif Lindholm 6. 2013-07-30 [PATCH 4/4] efi: x86: make efi_lookup_mapped_addr() a linux-ia6 Leif Lindholm