Searched refs:p4d_page_tramp (Results 1 – 1 of 1) sorted by relevance
184 p4d_t *p4d_page, *p4d_page_tramp; in init_trampoline_p4d() local187 p4d_page_tramp = alloc_low_page(); in init_trampoline_p4d()197 p4d_tramp = p4d_page_tramp + p4d_index(paddr); in init_trampoline_p4d()205 __pgd(_KERNPG_TABLE | __pa(p4d_page_tramp))); in init_trampoline_p4d()