tree f6d2f85b23fae5ee8d9da79f30c47351aa890d5b
parent b8ff87a6158886771677e6dc8139bac6e3cba717
author Matt Fleming <matt.fleming@intel.com> 1389379710 +0000
committer Matt Fleming <matt.fleming@intel.com> 1393969394 +0000

x86/efi: Add mixed runtime services support

Setup the runtime services based on whether we're booting in EFI native
mode or not. For non-native mode we need to thunk from 64-bit into
32-bit mode before invoking the EFI runtime services.

Using the runtime services after SetVirtualAddressMap() is slightly more
complicated because we need to ensure that all the addresses we pass to
the firmware are below the 4GB boundary so that they can be addressed
with 32-bit pointers, see efi_setup_page_tables().

Signed-off-by: Matt Fleming <matt.fleming@intel.com>