printk打印等级

cat /proc/sys/kernel/printk可以查询当前系统printk打印信息。
zynq> cat printk
7       4       1       7
这四个数字分别有一下含义：
1> 控制台日志级别（一般是串口）：高于该优先级的会输出到控制台
2> 默认日志优先级级别：将用该优先级打印没有制定优先级的打印信息，例如printk没有加入优先级信息
3> 最低的控制台日志级别：控制台日志级别可以被设置的最小值
4> 默认的控制台日志级别：控制台默认的日志优先级级别

可以通过写该文件改变打印级别，也可以通过修改内核改变，在kernel/printk.c中
int console_printk[4] = {
    DEFAULT_CONSOLE_LOGLEVEL,    /* console_loglevel */
    DEFAULT_MESSAGE_LOGLEVEL,    /* default_message_loglevel */
    MINIMUM_CONSOLE_LOGLEVEL,    /* minimum_console_loglevel */
    DEFAULT_CONSOLE_LOGLEVEL,    /* default_console_loglevel */
};
修改该数组数据。