mmio_trace_printk
ret = mmio_trace_printk(fmt, args);
extern __printf(1, 0) int mmio_trace_printk(const char *fmt, va_list args);