
13 Oct
2016
13 Oct
'16
4:34 p.m.
We currently handle efi_allocate_pool() in our boot time service file. In the following patch, pool allocation will receive additional internal semantics that we should preserve inside efi_memory.c instead.
As foundation for those changes, split the function into an externally facing efi_allocate_pool_ext() for use by payloads and an internal helper efi_allocate_pool() in efi_memory.c that handles the actual allocation.
While at it, change the magic 0xfff / 12 constants to the more obvious EFI_PAGE_MASK/SHIFT defines.
Signed-off-by: Stefan BrĂ¼ns stefan.bruens@rwth-aachen.de Reviewed-by: Alexander Graf agraf@suse.de
Thanks, applied to