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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c94 static int replaceid; /* Current cache id for replace */ variable
1125 replaceid = (pair->id << 2) | CACHEID_REPLACE;
1156 if (entry->a == r && entry->c == replaceid)
1174 entry->c = replaceid;
1249 replaceid = (composelevel << 2) | CACHEID_COMPOSE;
1280 if (entry->a == f && entry->b == g && entry->c == replaceid)
1322 entry->c = replaceid;
1361 replaceid = (pair->id << 2) | CACHEID_VECCOMPOSE;
1393 if (entry->a == f && entry->c == replaceid)
1410 entry->c = replaceid;
[all...]

Completed in 87 milliseconds