p4d_tramp         154 arch/x86/mm/kaslr.c 	p4d_t *p4d_page_tramp, *p4d, *p4d_tramp;
p4d_tramp         180 arch/x86/mm/kaslr.c 		p4d_tramp = p4d_page_tramp + p4d_index(paddr);
p4d_tramp         182 arch/x86/mm/kaslr.c 		set_p4d(p4d_tramp,