303 	uint32_t hvalue;  in hidden_def()  local
305 	hvalue = avc_cache.lru_hint;  in hidden_def()
309 			cur = avc_cache.slots[hvalue];  in hidden_def()
319 			hvalue = (hvalue + 1) & (AVC_CACHE_SLOTS - 1);  in hidden_def()
320 		} while (hvalue != avc_cache.lru_hint);  in hidden_def()
327 	avc_cache.lru_hint = hvalue;  in hidden_def()
330 		avc_cache.slots[hvalue] = cur->next;  in hidden_def()
347 	int hvalue;  in avc_claim_node()  local
362 	hvalue = avc_hash(ssid, tsid, tclass);  in avc_claim_node()
368 	new->next = avc_cache.slots[hvalue];  in avc_claim_node()
369 	avc_cache.slots[hvalue] = new;  in avc_claim_node()
381 	int hvalue;  in avc_search_node()  local
384 	hvalue = avc_hash(ssid, tsid, tclass);  in avc_search_node()
385 	cur = avc_cache.slots[hvalue];  in avc_search_node()