tag	line	file	source code
memory_end	123	init/main.c	static unsigned long memory_end = 0;
memory_end	152	init/main.c	memory_end = (1<<20) + (EXT_MEM_K<<10);
memory_end	153	init/main.c	memory_end &= 0xfffff000;
memory_end	154	init/main.c	if (memory_end > 16*1024*1024)
memory_end	155	init/main.c	memory_end = 16*1024*1024;
memory_end	160	init/main.c	memory_start = chr_dev_init(memory_start,memory_end);
memory_end	161	init/main.c	memory_start = blk_dev_init(memory_start,memory_end);
memory_end	162	init/main.c	memory_start = mem_init(memory_start,memory_end);
memory_end	211	init/main.c	printf("Free mem: %d bytes\n\r",memory_end-memory_start);