console_idx       438 kernel/printk/printk.c static u32 console_idx;
console_idx      2100 kernel/printk/printk.c static u32 console_idx;
console_idx      2450 kernel/printk/printk.c 			console_idx = log_first_idx;
console_idx      2458 kernel/printk/printk.c 		msg = log_from_idx(console_idx);
console_idx      2465 kernel/printk/printk.c 			console_idx = log_next(console_idx);
console_idx      2488 kernel/printk/printk.c 		console_idx = log_next(console_idx);
console_idx      2598 kernel/printk/printk.c 		console_idx = log_first_idx;
console_idx      2813 kernel/printk/printk.c 		console_idx = syslog_idx;