headers/private/kernel/platform/efi/boot-services.h

96

efi_status (*FreePages) (efi_physical_addr memory, size_t pages) EFIAPI;

src/system/boot/platform/efi/heap.cpp

29

kBootServices->FreePages((efi_physical_addr)base, size / B_PAGE_SIZE);

src/system/boot/platform/efi/mmu.cpp

122

kBootServices->FreePages(addr, pages);

src/system/boot/platform/efi/mmu.cpp

132

kBootServices->FreePages(addr, pages);

src/system/boot/platform/efi/mmu.cpp

169

kBootServices->FreePages(addr, pages);

src/system/boot/platform/efi/mmu.cpp

321

status = kBootServices->FreePages((efi_physical_addr)(addr_t)address,

src/system/kernel/slab/ObjectCache.h

112

void FreePages(void* pages);

src/system/libroot/posix/malloc/openbsd/PagesAllocator.cpp

612

sPagesAllocator->FreePages(address, length);

src/tests/system/kernel/slab/Slab.h

101

static void FreePages(BaseCache *cache, void *pages);

src/tests/system/kernel/slab/Slab.h

111

static void FreePages(BaseCache *cache, area_id id);

src/tests/system/kernel/slab/Slab.h

189

Backend::FreePages(fParent, ((Slab *)slab)->id);

src/tests/system/kernel/slab/Slab.h

413

Backend::FreePages(fParent, slab->id);