p4d_entry         212 arch/x86/mm/kasan_init_64.c 	p4d_t *p4d, p4d_entry;
p4d_entry         228 arch/x86/mm/kasan_init_64.c 		p4d_entry = __p4d(_KERNPG_TABLE |
p4d_entry         230 arch/x86/mm/kasan_init_64.c 		set_p4d(p4d, p4d_entry);