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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.c219 bddcachestats.uniqueAccess = 0;
758 fprintf(ofile, "Unique Access: %ld\n", s.uniqueAccess);
1262 bddcachestats.uniqueAccess++;
H A Dbdd.h164 long unsigned int uniqueAccess;
174 uniqueAccess & accesses to the unique node table \\
186 long unsigned int uniqueAccess; member in struct:s_bddCacheStat
H A Dreorder.c1026 bddcachestats.uniqueAccess++;

Completed in 47 milliseconds