destroy_cache_entry
TRACE_IN(destroy_cache_entry);
TRACE_OUT(destroy_cache_entry);
destroy_cache_entry(the_cache->entries[i]);
static void destroy_cache_entry(struct cache_entry_ *);
destroy_cache_entry(*del_ent);