HomeSort by: relevance | last modified time | path
    Searched refs:numAntecedents (Results 1 - 8 of 8) sorted by relevancy

  /src/sys/dev/raidframe/
rf_dagffrd.c 247 RF_ASSERT(blockNode->numAntecedents == 0);
253 RF_ASSERT(commitNode->numAntecedents == n);
257 RF_ASSERT(tmpdiskNode->numAntecedents == 1);
271 RF_ASSERT(termNode->numAntecedents == 1);
280 RF_ASSERT(commitNode->numAntecedents == 1);
286 RF_ASSERT(termNode->numAntecedents == n);
291 RF_ASSERT(tmpdiskNode->numAntecedents == 1);
408 RF_ASSERT(blockNode->numAntecedents == 0);
415 RF_ASSERT(tmpreadNode->numAntecedents == 1);
423 RF_ASSERT(commitNode->numAntecedents == n)
    [all...]
rf_dagffwr.c 405 RF_ASSERT(blockNode->numAntecedents == 0);
411 RF_ASSERT(xorNode->numAntecedents == nRodNodes);
414 RF_ASSERT(tmpNode->numAntecedents == 1);
429 RF_ASSERT(xorNode->numAntecedents == 1);
437 RF_ASSERT(commitNode->numAntecedents == 1);
446 RF_ASSERT(wndNodes->numAntecedents == 1);
452 RF_ASSERT(wnpNode->numAntecedents == 1);
458 RF_ASSERT(wnqNode->numAntecedents == 1);
465 RF_ASSERT(termNode->numAntecedents == nWndNodes + nfaults);
996 RF_ASSERT(tmpreadDataNode->numAntecedents == 1)
    [all...]
rf_parityloggingdags.c 207 RF_ASSERT(blockNode->numAntecedents == 0);
213 RF_ASSERT(rodNodes[i].numAntecedents == 1);
221 RF_ASSERT(syncNode->numAntecedents == nRodNodes + 1);
235 RF_ASSERT(xorNode->numAntecedents == 1);
242 RF_ASSERT(wndNodes->numAntecedents == 1);
250 RF_ASSERT(lpoNode->numAntecedents == 1);
256 RF_ASSERT(unblockNode->numAntecedents == nWndNodes + 1);
272 RF_ASSERT(termNode->numAntecedents == 1);
514 RF_ASSERT(blockNode->numAntecedents == 0);
521 RF_ASSERT(readDataNodes[i].numAntecedents == 1)
    [all...]
rf_engine.c 238 (node->numAntecedents == node->numAntDone))
342 for (j = 0; j < node->numAntecedents; j++)
387 for (j = 0; j < node->numAntecedents; j++)
442 for (i = 0; i < node->numAntecedents; i++) {
456 if (s->numAntDone == s->numAntecedents) {
467 for (j = 0; j < s->numAntecedents; j++)
520 for (i = 0; i < skiplist->numAntecedents; i++) {
532 for (i = 0; i < finishlist->numAntecedents; i++) {
554 for (i = 0; i < node->numAntecedents; i++) {
791 if (nd->numAntecedents == 0)
    [all...]
rf_dag.h 99 int numAntecedents; /* number of antecedents */
111 * numAntecedents */
rf_dagdegrd.c 203 RF_ASSERT(blockNode->numAntecedents == 0);
208 RF_ASSERT(rdNode->numAntecedents == 1);
215 RF_ASSERT(commitNode->numAntecedents == 1);
222 RF_ASSERT(termNode->numAntecedents == 1);
492 RF_ASSERT(blockNode->numAntecedents == 0);
497 RF_ASSERT(rpNode->numAntecedents == 1);
519 RF_ASSERT(xorNode->numAntecedents == (1 + nRrdNodes + nRudNodes));
543 RF_ASSERT(commitNode->numAntecedents == 1);
550 RF_ASSERT(termNode->numAntecedents == 1);
670 RF_ASSERT(blockNode->numAntecedents == 0)
    [all...]
rf_dagdegwr.c 472 RF_ASSERT(blockNode->numAntecedents == 0);
479 RF_ASSERT(tmprrdNode->numAntecedents == 1);
487 RF_ASSERT(xorNode->numAntecedents == nRrdNodes);
499 RF_ASSERT(commitNode->numAntecedents == 1);
508 RF_ASSERT(tmpwndNode->numAntecedents == 1);
516 RF_ASSERT(wnpNode->numAntecedents == 1);
522 RF_ASSERT(wnqNode->numAntecedents == 1);
529 RF_ASSERT(unblockNode->numAntecedents == (nWndNodes + nfaults));
556 RF_ASSERT(termNode->numAntecedents == 1);
rf_dagutils.c 113 node->numAntecedents = nAnte;
560 node->numAntecedents, node->numAntDone, node->numParams, node->numResults);
566 for (i = 0; i < node->numAntecedents; i++) {
584 printf("%d(%s)%s", node->antecedents[i]->nodeNum, anttype, (i == node->numAntecedents - 1) ? "\0" : " ");
741 for (i = 0; i < node->numAntecedents; i++) {
869 if (nodes[i]->numAntecedents != scount[nodes[i]->nodeNum]) {
871 nodes[i]->name, nodes[i]->numAntecedents, scount[nodes[i]->nodeNum]);

Completed in 19 milliseconds