In efi_device_path.c, dp_alloc() uses efi_allocate_pool() with EFI_ALLOCATE_ANY_PAGES. This usage is just wrong as the first argument to efi_allocate_pool() should be of efi_mem_type, not "allocation type."
Since this routine is called as part of device path * protocol, I don't know what is the best value here. (EFI_BOOT_SERVICES_DATA as far as I looked into EDK2 shell implementation.) -Takahiro Akashi _______________________________________________ U-Boot mailing list U-Boot@lists.denx.de https://lists.denx.de/listinfo/u-boot
