Searched refs:current_mc_date_p (Results 1 – 1 of 1) sorted by relevance
616 int *current_mc_date_p; in print_ucode() local623 current_mc_date_p = (int *)__pa_nodebug(¤t_mc_date); in print_ucode()626 *current_mc_date_p = mc_intel->hdr.date; in print_ucode()