taglinefilesource code
printf209init/main.cprintf("%d buffers = %d bytes buffer space\n\r",nr_buffers,
printf211init/main.cprintf("Free mem: %d bytes\n\r",memory_end-memory_start);
printf229init/main.cprintf("Fork failed in init\r\n");
printf243init/main.cprintf("\n\rchild %d died with code %04x\n\r",pid,i);
printf110kernel/blk_drv/scsi/hosts.cprintf("%d", MAX_SCSI_HOSTS);
printf155kernel/blk_drv/scsi/hosts.cprintf("0\n");