Searched refs:p4d_tramp (Results 1 – 1 of 1) sorted by relevance
164 p4d_t *p4d_page_tramp, *p4d, *p4d_tramp; in init_trampoline_kaslr() local190 p4d_tramp = p4d_page_tramp + p4d_index(paddr); in init_trampoline_kaslr()192 set_p4d(p4d_tramp, in init_trampoline_kaslr()