taglinefilesource code
shared760mm/memory.cint shared = 0;
shared772mm/memory.cshared += mem_map[i]-1;
shared775mm/memory.cprintk("%d pages shared\n\r",shared);
shared804mm/memory.cprintk("Memory found: %d (%d)\n\r",free-shared,total);