src/system/boot/arch/m68k/mmu.cpp

662

mmu_free(address, size);

src/system/boot/arch/m68k/mmu.h

23

extern void mmu_free(void *virtualAddress, size_t size);

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

660

mmu_free(address, size);

src/system/boot/platform/amiga_m68k/mmu.h

23

extern void mmu_free(void *virtualAddress, size_t size);

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

665

mmu_free(address, size);

src/system/boot/platform/atari_m68k/mmu.h

24

extern void mmu_free(void *virtualAddress, size_t size);

src/system/boot/platform/atari_m68k/video.cpp

1146

mmu_free((void *)sFrameBuffer, lastSize);

src/system/boot/platform/bios_ia32/acpi.cpp

104

mmu_free(rsdt, rsdp->xsdt_length);

src/system/boot/platform/bios_ia32/acpi.cpp

123

mmu_free(rsdt, sizeof(acpi_descriptor_header));

src/system/boot/platform/bios_ia32/acpi.cpp

132

mmu_free(rsdt, sizeof(acpi_descriptor_header));

src/system/boot/platform/bios_ia32/acpi.cpp

191

mmu_free(header, sizeof(acpi_descriptor_header));

src/system/boot/platform/bios_ia32/acpi.cpp

208

mmu_free(header, sizeof(acpi_descriptor_header));

src/system/boot/platform/bios_ia32/long.cpp

168

mmu_free(pageDir, B_PAGE_SIZE);

src/system/boot/platform/bios_ia32/long.cpp

171

mmu_free(pdpt, B_PAGE_SIZE);

src/system/boot/platform/bios_ia32/long.cpp

189

mmu_free(pageTable, B_PAGE_SIZE);

src/system/boot/platform/bios_ia32/long.cpp

205

mmu_free(pageTable, B_PAGE_SIZE);

src/system/boot/platform/bios_ia32/long.cpp

206

mmu_free(pageDir, B_PAGE_SIZE);

src/system/boot/platform/bios_ia32/long.cpp

207

mmu_free(pdpt, B_PAGE_SIZE);

src/system/boot/platform/bios_ia32/long.cpp

209

mmu_free(pml4, B_PAGE_SIZE);

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

826

mmu_free(address, size);

src/system/boot/platform/bios_ia32/mmu.h

34

extern void mmu_free(void *virtualAddress, size_t size);

src/system/boot/platform/bios_ia32/video.cpp

903

mmu_free((void *)sFrameBuffer, lastSize);

src/system/boot/platform/next_m68k/mmu.h

24

extern void mmu_free(void *virtualAddress, size_t size);

src/system/boot/platform/u-boot/arch/ppc/arch_mmu.cpp

401

mmu_free(address, size);

src/system/boot/platform/u-boot/mmu.h

26

extern void mmu_free(void *virtualAddress, size_t size);