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? Regards, Simon _______________________________________________ U-Boot mailing list [email protected] https://lists.denx.de/listinfo/u-boot
