current_mc_date_p  555 arch/x86/kernel/cpu/microcode/intel.c 	int *current_mc_date_p;
current_mc_date_p  562 arch/x86/kernel/cpu/microcode/intel.c 	current_mc_date_p = (int *)__pa_nodebug(&current_mc_date);
current_mc_date_p  565 arch/x86/kernel/cpu/microcode/intel.c 	*current_mc_date_p = mc->hdr.date;