headers/private/kernel/boot/platform.h

30

extern status_t platform_free_region(void *address, size_t size);

src/system/boot/loader/elf.cpp

397

platform_free_region(mappedRegion, totalSize);

src/system/boot/loader/file_systems/tarfs/tarfs.cpp

52

platform_free_region(memory, kTarRegionSize);

src/system/boot/platform/efi/arch/arm/arch_start.cpp

68

if (platform_free_region(trampolinePage, B_PAGE_SIZE) != B_OK)

src/system/boot/platform/efi/arch/arm/arch_start.cpp

80

if (platform_free_region(trampolinePage, B_PAGE_SIZE) != B_OK)

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

43

platform_free_region(_base, size);

src/system/boot/platform/pxe_ia32/devices.cpp

76

platform_free_region(data, size);

src/system/boot/platform/pxe_ia32/network.cpp

454

platform_free_region(fileData, fileSize);

src/system/boot/platform/pxe_ia32/network.cpp

466

platform_free_region(fileData, fileSize);

src/system/boot/platform/pxe_ia32/network.cpp

508

platform_free_region(fileData, fileSize);