VA_CONTROL_PAGE   214 arch/x86/kernel/machine_kexec_32.c 	page_list[VA_CONTROL_PAGE] = (unsigned long)control_page;
VA_CONTROL_PAGE   407 arch/x86/kernel/machine_kexec_64.c 	page_list[VA_CONTROL_PAGE] = (unsigned long)control_page;