VA_PTE_0          162 arch/x86/kernel/machine_kexec_32.c 	page_list[VA_PTE_0] = (unsigned long)kexec_pte0;
VA_PTE_0          206 arch/x86/kernel/machine_kexec_64.c 	page_list[VA_PTE_0] = (unsigned long)kexec_pte0;