ecc_corrected_error
void ecc_corrected_error(unsigned int type, vaddr_t pc);
ecc_corrected_error(type, pc);