taglinefilesource code
log_size23kernel/printk.cstatic unsigned long log_size = 0;
log_size46kernel/printk.clog_start = log_size = 0;
log_size56kernel/printk.cwhile (!log_size) {
log_size62kernel/printk.cif (!log_size)
log_size67kernel/printk.cwhile (log_size && len) {
log_size70kernel/printk.clog_size--;
log_size92kernel/printk.cp = (char *) log_page + (4095 & (log_start+log_size));
log_size94kernel/printk.cif (log_size < 4096)
log_size95kernel/printk.clog_size++;