Searched refs:uniqueHit (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.c221 bddcachestats.uniqueHit = 0;
760 fprintf(ofile, "Unique Hit: %ld\n", s.uniqueHit);
763 (s.uniqueHit+s.uniqueMiss > 0) ?
764 ((float)s.uniqueHit)/((float)s.uniqueHit+s.uniqueMiss) : 0);
1278 bddcachestats.uniqueHit++;
H A Dbdd.h166 long unsigned int uniqueHit;
176 uniqueHit & entries actually found in the unique node table \\
188 long unsigned int uniqueHit; member in struct:s_bddCacheStat
H A Dreorder.c1048 bddcachestats.uniqueHit++;

Completed in 43 milliseconds