Searched refs:acl2call_misses (Results 1 – 1 of 1) sorted by relevance
1399 static int acl2call_misses = 0; variable1425 acl2call_misses++; in acl2call()