On 06/21/2018 04:01 AM, Simon Glass wrote:
Hi Alex,
On 18 June 2018 at 09:03, Alexander Graf <[email protected]> wrote:
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 <[email protected]>
This also seems to be fallout of a misinterpretation of the API :)
Well I suppose it's not important.
But AllocatePages() returns an address, but AllocatePool() returns a
pointer. I'm not sure why?
AllocatePages returns a pointer.
Alex
_______________________________________________
U-Boot mailing list
[email protected]
https://lists.denx.de/listinfo/u-boot
