p4d_page_tramp    154 arch/x86/mm/kaslr.c 	p4d_t *p4d_page_tramp, *p4d, *p4d_tramp;
p4d_page_tramp    178 arch/x86/mm/kaslr.c 		p4d_page_tramp = alloc_low_page();
p4d_page_tramp    180 arch/x86/mm/kaslr.c 		p4d_tramp = p4d_page_tramp + p4d_index(paddr);
p4d_page_tramp    186 arch/x86/mm/kaslr.c 			__pgd(_KERNPG_TABLE | __pa(p4d_page_tramp)));