Searched refs:FreePages (Results 1 – 7 of 7) sorted by relevance
151 BS->FreePages(lidt_pa, EFI_SIZE_TO_PAGES(fw_idt.rd_limit)); in free_tables()155 BS->FreePages(exc_stack_pa, 1); in free_tables()159 BS->FreePages(tss_pa, in free_tables()164 BS->FreePages(tss_pa, 2); in free_tables()
41 BS->FreePages(heap, EFI_SIZE_TO_PAGES(heapsize)); in efi_exit()
208 (void) BS->FreePages(addr, pages); in efi_free_loadaddr()
323 BS->FreePages(addr, pages); in bi_load_efi_data()
1879 EFI_FREE_PAGES FreePages; member
880 ACPI_EFI_FREE_PAGES FreePages; member
455 BS->FreePages((EFI_PHYSICAL_ADDRESS)(uintptr_t)shadow_fb, in efi_framebuffer_setup()