tag	line	file	source code
memory_start	122	init/main.c	static unsigned long memory_start = 0;
memory_start	156	init/main.c	memory_start = 1024*1024;
memory_start	160	init/main.c	memory_start = chr_dev_init(memory_start,memory_end);
memory_start	161	init/main.c	memory_start = blk_dev_init(memory_start,memory_end);
memory_start	162	init/main.c	memory_start = mem_init(memory_start,memory_end);
memory_start	211	init/main.c	printf("Free mem: %d bytes\n\r",memory_end-memory_start);