On 06/18/2018 04:08 PM, Simon Glass wrote:
Sandbox does not support direct casts between addresses and pointers, since it uses an emulated RAM buffer rather than directly using host RAM.
The current EFI code uses an integer type for addresses, but treats them like pointers.
Update the code to maintain a (reasonably) clear separation between the two, so that sandbox can work.
Unfortunately there remains an inconsistency between the arguments of allocate_pages() and allocate_pool(). One takes an address and one takes a pointer. Partly this seems to be defined by the boot services API itself but it would be fairly easy to update the functions in efi_memory.c to be consistent. However, this is a larger change and needs discussion.
Signed-off-by: Simon Glass sjg@chromium.org
This also seems to be fallout of a misinterpretation of the API :)
Alex