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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c244 int newcachesize = bddnodesize / cacheratio; local
246 BddCache_resize(&applycache, newcachesize);
247 BddCache_resize(&itecache, newcachesize);
248 BddCache_resize(&quantcache, newcachesize);
249 BddCache_resize(&appexcache, newcachesize);
250 BddCache_resize(&replacecache, newcachesize);
251 BddCache_resize(&misccache, newcachesize);

Completed in 81 milliseconds