lookup_cache_table
if (lookup_cache_table(addr) != NULL)
tlbt = lookup_cache_table(addr);
static tnrh_tlb_t *lookup_cache_table(in_addr_t addr);