135 	int cache_num;  in get_domain_id()  local
138 	cache_num = get_resource_cache_level(resource);  in get_domain_id()
139 	if (cache_num < 0)  in get_domain_id()
140 		return cache_num;  in get_domain_id()
142 	sprintf(phys_pkg_path, "%s%d/cache/index%d/id", PHYS_ID_PATH, cpu_no, cache_num);  in get_domain_id()
274 	int length, i, cache_num;  in get_cache_size()  local
277 	cache_num = get_cache_level(cache_type);  in get_cache_size()
278 	if (cache_num < 0)  in get_cache_size()
279 		return cache_num;  in get_cache_size()
282 		cpu_no, cache_num);  in get_cache_size()
327 	if (cache_num == 3)  in get_cache_size()