Home | History | Annotate | Download | only in raidframe

Lines Matching refs:RF_ASSERT

242 		RF_ASSERT(node->numSuccDone <= node->numSuccedents);
243 RF_ASSERT(node->numSuccFired <= node->numSuccedents);
244 RF_ASSERT(node->numSuccFired <= node->numSuccDone);
333 RF_ASSERT((node->status == rf_wait) ||
338 RF_ASSERT(node->status == rf_wait);
345 RF_ASSERT(dstat == rf_rollBackward);
346 RF_ASSERT(node->status == rf_good);
348 RF_ASSERT(node->commitNode == RF_FALSE);
378 RF_ASSERT((node->status == rf_wait) ||
383 RF_ASSERT(node->status == rf_wait);
390 RF_ASSERT(dstat == rf_rollBackward);
391 RF_ASSERT(node->status == rf_good);
393 RF_ASSERT(node->commitNode == RF_FALSE);
444 RF_ASSERT(a->numSuccFired >= a->numSuccDone);
445 RF_ASSERT(a->numSuccFired <= a->numSuccedents);
454 RF_ASSERT(s->status == rf_wait);
496 RF_ASSERT(NodeReady(s));
556 RF_ASSERT(a->status == rf_good);
557 RF_ASSERT(a->numSuccDone <= a->numSuccedents);
558 RF_ASSERT(a->numSuccDone <= a->numSuccFired);
578 RF_ASSERT(NodeReady(a));