Searched defs:trampolinePage (Results 1 – 1 of 1) sorted by relevance
60 void *trampolinePage = NULL; in allocate_trampoline_page() local97 void *trampolinePage = allocate_trampoline_page(); in arch_start_kernel() local