current_mc_date   531 arch/x86/kernel/cpu/microcode/intel.c static int current_mc_date;
current_mc_date   542 arch/x86/kernel/cpu/microcode/intel.c 		print_ucode_info(&uci, current_mc_date);
current_mc_date   562 arch/x86/kernel/cpu/microcode/intel.c 	current_mc_date_p = (int *)__pa_nodebug(&current_mc_date);