taglinefilesource code
log_start22kernel/printk.cstatic unsigned long log_start = 0;
log_start46kernel/printk.clog_start = log_size = 0;
log_start68kernel/printk.cc = *((char *) log_page+log_start);
log_start69kernel/printk.clog_start++;
log_start71kernel/printk.clog_start &= 4095;
log_start92kernel/printk.cp = (char *) log_page + (4095 & (log_start+log_size));
log_start97kernel/printk.clog_start++;