tmp_p4d_table      25 arch/x86/mm/kasan_init_64.c static p4d_t tmp_p4d_table[MAX_PTRS_PER_P4D] __initdata __aligned(PAGE_SIZE);
tmp_p4d_table     324 arch/x86/mm/kasan_init_64.c 		memcpy(tmp_p4d_table, (void *)ptr, sizeof(tmp_p4d_table));
tmp_p4d_table     326 arch/x86/mm/kasan_init_64.c 				__pgd(__pa(tmp_p4d_table) | _KERNPG_TABLE));