On 06/18/2018 04:08 PM, Simon Glass wrote:
At present this function takes a pointer as its argument, then passes this
to efi_allocate_pages(), which actually takes an address. It uses casts,
which are not supported on sandbox.
I think this is the big API misunderstanding that caused our
disagreements: efi_allocate_pages(uint64_t *memory) gets a uint64_t
*address as input parameter, but uses the same field to actually return
a void * pointer. This is the function that really converts between
virtual and physical address space.
This is the explicit wording of the spec[1] page 168:
The AllocatePages() function allocates the requested number of pages
and returns a pointer to the base address of the page range in the
location referenced by Memory.
So yes, we have to cast. There is no other way around it without
completely creating a trainwreck of the API.
Alex
[1]
http://www.uefi.org/sites/default/files/resources/UEFI%20Spec%202_7_A%20Sept%206.pdf
_______________________________________________
U-Boot mailing list
[email protected]
https://lists.denx.de/listinfo/u-boot
