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(¤t_mc_date);