__LOG_BUF_LEN     134 kernel/printk.c static char __log_buf[__LOG_BUF_LEN];
__LOG_BUF_LEN     136 kernel/printk.c static int log_buf_len = __LOG_BUF_LEN;
__LOG_BUF_LEN     163 kernel/printk.c 			log_buf[dest_idx] = __log_buf[start & (__LOG_BUF_LEN - 1)];