Symbol: igen6_mc_printk