Searched refs:p4d_page_tramp (Results 1 – 1 of 1) sorted by relevance
154 p4d_t *p4d_page_tramp, *p4d, *p4d_tramp; in init_trampoline_pud() local178 p4d_page_tramp = alloc_low_page(); in init_trampoline_pud()180 p4d_tramp = p4d_page_tramp + p4d_index(paddr); in init_trampoline_pud()186 __pgd(_KERNPG_TABLE | __pa(p4d_page_tramp))); in init_trampoline_pud()
