Searched refs:p4d_tramp (Results 1 – 1 of 1) sorted by relevance
154 p4d_t *p4d_page_tramp, *p4d, *p4d_tramp; in init_trampoline_pud() local180 p4d_tramp = p4d_page_tramp + p4d_index(paddr); in init_trampoline_pud()182 set_p4d(p4d_tramp, in init_trampoline_pud()
