EFI_SIZE_TO_PAGES
EFI_SIZE_TO_PAGES(heapsiz), &heap);
EFI_SIZE_TO_PAGES(KERN_LOADSPACE_SIZE), &addr);
EFI_SIZE_TO_PAGES(size), &addr);
BS->FreePages(addr, EFI_SIZE_TO_PAGES(size));
EFI_SIZE_TO_PAGES(tftpfile->inbufsize), &addr);
EFI_SIZE_TO_PAGES(tftpfile->inbufsize));
EFI_SIZE_TO_PAGES(buflen), &addr) != EFI_SUCCESS) {
EFI_SIZE_TO_PAGES(fdt_override_size));
if (efi_memprobe_find(EFI_SIZE_TO_PAGES(dt_size),
BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size));
BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size));
EFI_SIZE_TO_PAGES(fdt_override_size));
EFI_SIZE_TO_PAGES(heapsiz), &heap);
EFI_SIZE_TO_PAGES(len), &addr) == EFI_SUCCESS) {
if (efi_memprobe_find(EFI_SIZE_TO_PAGES(64 * 1024 * 1024),
BS->FreePages(addr, EFI_SIZE_TO_PAGES(size));
EFI_SIZE_TO_PAGES(size), &addr);
EFI_SIZE_TO_PAGES(tftpfile->inbufsize), &addr);
EFI_SIZE_TO_PAGES(tftpfile->inbufsize));
EFI_SIZE_TO_PAGES(RECV_SIZE), &txbuf);
BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE));
BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE));
EFI_SIZE_TO_PAGES(fdt_override_size));
if (efi_memprobe_find(EFI_SIZE_TO_PAGES(dt_size),
BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size));
BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size));
EFI_SIZE_TO_PAGES(fdt_override_size));
EFI_SIZE_TO_PAGES(heapsiz), &heap);
EFI_SIZE_TO_PAGES(len), &addr) == EFI_SUCCESS) {
EFI_SIZE_TO_PAGES(32 * 1024 * 1024), &addr);
BS->FreePages(addr, EFI_SIZE_TO_PAGES(size));
EFI_SIZE_TO_PAGES(size), &addr);
EFI_SIZE_TO_PAGES(tftpfile->inbufsize), &addr);
EFI_SIZE_TO_PAGES(tftpfile->inbufsize));
EFI_SIZE_TO_PAGES(RECV_SIZE), &txbuf);
BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE));
BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE));
EFI_SIZE_TO_PAGES(fdt_override_size));
if (efi_memprobe_find(EFI_SIZE_TO_PAGES(dt_size),
BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size));
BS->FreePages(addr, EFI_SIZE_TO_PAGES(dt_size));
EFI_SIZE_TO_PAGES(fdt_override_size));
EFI_SIZE_TO_PAGES(heapsiz), &heap);
EFI_SIZE_TO_PAGES(len), &addr) == EFI_SUCCESS) {
if (efi_memprobe_find(EFI_SIZE_TO_PAGES(64 * 1024 * 1024),
BS->FreePages(addr, EFI_SIZE_TO_PAGES(size));
EFI_SIZE_TO_PAGES(size), &addr);
EFI_SIZE_TO_PAGES(tftpfile->inbufsize), &addr);
EFI_SIZE_TO_PAGES(tftpfile->inbufsize));
EFI_SIZE_TO_PAGES(RECV_SIZE), &txbuf);
BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE));
BS->FreePages(txbuf, EFI_SIZE_TO_PAGES(RECV_SIZE));