fsl_mc_printk
fsl_mc_printk(mci, KERN_ERR, "Err Detect Register: %#8.8x\n",
fsl_mc_printk(mci, KERN_ERR, "Faulty Data bit: %d\n", bad_data_bit);
fsl_mc_printk(mci, KERN_ERR, "Faulty ECC bit: %d\n", bad_ecc_bit);
fsl_mc_printk(mci, KERN_ERR,
fsl_mc_printk(mci, KERN_ERR,
fsl_mc_printk(mci, KERN_ERR, "Err addr: %#8.8llx\n", err_addr);
fsl_mc_printk(mci, KERN_ERR, "PFN: %#8.8x\n", pfn);
fsl_mc_printk(mci, KERN_ERR, "PFN out of range!\n");