if (cache_eax.split.type == CACHE_TYPE_NULL) { retval = i; break; } } return retval; 
} while (cache_eax.split.type != CACHE_TYPE_NULL); return i; 
static int __init find_num_cache_leaves(void){	unsigned int		eax, ebx, ecx, edx;	union _cpuid4_leaf_eax	cache_eax;	int 			i;	int 			retval;	retval = MAX_CACHE_LEAVES;	/* Do cpuid(4) loop to find out num_cache_leaves */	for (i = 0; i < MAX_CACHE_LEAVES; i++) {		cpuid_count(4, i, &eax, &ebx, &ecx, &edx);		cache_eax.full = eax;		if (cache_eax.split.type == CACHE_TYPE_NULL) {			retval = i;			break;		}	}	return retval;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d16aafff2570abb557a5cb18c98027aabd602e22/intel_cacheinfo.c/buggy/arch/i386/kernel/cpu/intel_cacheinfo.c