HomeSort by: relevance | last modified time | path
    Searched refs:FreePages (Results 1 - 7 of 7) sorted by relevancy

  /src/sys/external/bsd/gnu-efi/dist/apps/
FreePages.c 1 /* $NetBSD: FreePages.c,v 1.1.1.1 2018/08/16 18:17:47 jmcneill Exp $ */
9 * mimics the EFI Boot Service "FreePages."
35 FS1:\> FreePages 0000000020000000 5
36 FreePages: __PhysAddr__ __PgCnt__
41 FreePages(20000000,5)
67 * FreePages: __PhysAddr__ __PgCnt__
98 Print(L"FreePages: __PhysAddr__ __PgCnt__\n");
137 Print(L"FreePages(%lx,%d)\n", PhysAddr, PgCnt);
139 efi_status = uefi_call_wrapper(BS->FreePages, 2, PhysAddr, PgCnt);
Makefile 64 FreePages.efi setjmp.efi debughook.efi debughook.efi.debug \
  /src/sys/stand/efiboot/
exec.c 157 uefi_call_wrapper(BS->FreePages, 2, addr,
227 uefi_call_wrapper(BS->FreePages, 2, addr, EFI_SIZE_TO_PAGES(alloc_size));
efifdt.c 554 uefi_call_wrapper(BS->FreePages, 2, dtbo_addr,
662 uefi_call_wrapper(BS->FreePages, 2, rndseed_addr, EFI_SIZE_TO_PAGES(rndseed_size));
667 uefi_call_wrapper(BS->FreePages, 2, initrd_addr, EFI_SIZE_TO_PAGES(initrd_size));
672 uefi_call_wrapper(BS->FreePages, 2, dtb_addr, EFI_SIZE_TO_PAGES(dtb_size));
  /src/sys/arch/ia64/stand/efi/libefi/
efi.c 82 BS->FreePages(heap, EFI_SIZE_TO_PAGES(heapsize));
  /src/sys/external/bsd/gnu-efi/dist/inc/
efiapi.h 833 EFI_FREE_PAGES FreePages;
  /src/sys/external/bsd/acpica/dist/include/platform/
acefiex.h 880 ACPI_EFI_FREE_PAGES FreePages;

Completed in 17 milliseconds