1 char *intel_bank_name(int num); 2 void decode_intel_mc(struct mce *log, int cpu, int *ismemerr, unsigned len); 3 4 5