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

660

platform_free_region(void *address, size_t size)

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

658

platform_free_region(void *address, size_t size)

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

663

platform_free_region(void *address, size_t size)

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

824

platform_free_region(void *address, size_t size)

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

311

platform_free_region(void *address, size_t size)

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

146

platform_free_region(void *address, size_t size)

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

47

platform_free_region(void *address, size_t size)

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

326

platform_free_region(void* address, size_t size)

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

397

platform_free_region(void *address, size_t size)

src/tests/system/boot/loader/platform_mmu.cpp

29

platform_free_region(void *address, size_t size)