Searched refs:allocate_trampoline_page (Results 1 - 1 of 1) sorted by relevance
| /haiku/src/system/boot/platform/efi/arch/arm/ | ||
| H A D | arch_start.cpp | 58 allocate_trampoline_page(void) function 97 void *trampolinePage = allocate_trampoline_page(); |
Completed in 77 milliseconds