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