lmb_size = lmb.memory.region[i].size;  mem_size += lmb_size; size_mask |= lmb_size; }  lmb.memory.size = mem_size; 
for (i = 0; i < lmb.memory.cnt; i++) lmb.memory.size += lmb.memory.region[i].size; 
lmb_analyze(void){	unsigned long i;	unsigned long mem_size = 0;	unsigned long size_mask = 0;	for (i=0; i < lmb.memory.cnt; i++) {		unsigned long lmb_size;		lmb_size = lmb.memory.region[i].size;		mem_size += lmb_size;		size_mask |= lmb_size;	}	lmb.memory.size = mem_size;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/71e1f55ad4bc4c8bcfe696400a950a34263a750e/lmb.c/buggy/arch/ppc64/kernel/lmb.c