423 static void print_ucode_info(int old_rev, int new_rev, unsigned int date)  in print_ucode_info()  argument
428 		     date & 0xffff,  in print_ucode_info()
429 		     date >> 24,  in print_ucode_info()
430 		     (date >> 16) & 0xff);  in print_ucode_info()
457 static void print_ucode(int old_rev, int new_rev, int date)  in print_ucode()  argument
468 	*current_mc_date_p = date;  in print_ucode()
473 static inline void print_ucode(int old_rev, int new_rev, int date)  in print_ucode()  argument
475 	print_ucode_info(old_rev, new_rev, date);  in print_ucode()
517 		print_ucode(old_rev, uci->cpu_sig.rev, mc->hdr.date);  in apply_microcode_early()
519 		print_ucode_info(old_rev, uci->cpu_sig.rev, mc->hdr.date);  in apply_microcode_early()
726 			mc->hdr.date & 0xffff,  in apply_microcode_intel()
727 			mc->hdr.date >> 24,  in apply_microcode_intel()
728 			(mc->hdr.date >> 16) & 0xff);  in apply_microcode_intel()