WARNING: Do not use trace_printk() in production code (this can be ignored if built only with a debug config option)