263 	uint32_t hvalue;  in hidden_def()  local
265 	hvalue = avc_cache.lru_hint;  in hidden_def()
269 			cur = avc_cache.slots[hvalue];  in hidden_def()
279 			hvalue = (hvalue + 1) & (AVC_CACHE_SLOTS - 1);  in hidden_def()
280 		} while (hvalue != avc_cache.lru_hint);  in hidden_def()
287 	avc_cache.lru_hint = hvalue;  in hidden_def()
290 		avc_cache.slots[hvalue] = cur->next;  in hidden_def()
307 	int hvalue;  in avc_claim_node()  local
322 	hvalue = avc_hash(ssid, tsid, tclass);  in avc_claim_node()
328 	new->next = avc_cache.slots[hvalue];  in avc_claim_node()
329 	avc_cache.slots[hvalue] = new;  in avc_claim_node()
341 	int hvalue;  in avc_search_node()  local
344 	hvalue = avc_hash(ssid, tsid, tclass);  in avc_search_node()
345 	cur = avc_cache.slots[hvalue];  in avc_search_node()