Searched defs:platform_free_region (Results 1 - 10 of 10) sorted by relevance
/haiku/src/tests/system/boot/loader/ |
H A D | platform_mmu.cpp | 30 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/platform/openfirmware/ |
H A D | mmu.cpp | 48 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/platform/next_m68k/ |
H A D | mmu.cpp | 147 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/platform/u-boot/arch/ppc/ |
H A D | arch_mmu.cpp | 397 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/platform/efi/ |
H A D | mmu.cpp | 287 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/arch/m68k/ |
H A D | mmu.cpp | 661 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/platform/atari_m68k/ |
H A D | mmu.cpp | 664 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/platform/amiga_m68k/ |
H A D | mmu.cpp | 659 platform_free_region(void *address, size_t size) function
|
/haiku/src/system/boot/platform/riscv/ |
H A D | mmu.cpp | 330 platform_free_region(void* address, size_t size) function
|
/haiku/src/system/boot/platform/bios_ia32/ |
H A D | mmu.cpp | 805 platform_free_region(void *address, size_t size) function
|
Completed in 238 milliseconds