VA_PTE_1          164 arch/x86/kernel/machine_kexec_32.c 	page_list[VA_PTE_1] = (unsigned long)kexec_pte1;
VA_PTE_1          212 arch/x86/kernel/machine_kexec_64.c 	page_list[VA_PTE_1] = (unsigned long)kexec_pte1;