Home | History | Annotate | Download | only in raidframe

Lines Matching refs:RF_ASSERT

100 	RF_ASSERT(nfaults == 1);/* this arch only single fault tolerant */
152 	RF_ASSERT(nodeNum == nRodNodes);
158 		RF_ASSERT(pda != NULL);
199 	RF_ASSERT(asmap->parityInfo->next == NULL);	/* parityInfo must
206 	RF_ASSERT(dag_h->numSuccedents == 1);
207 	RF_ASSERT(blockNode->numAntecedents == 0);
211 	RF_ASSERT(blockNode->numSuccedents == nRodNodes + 1);
213 		RF_ASSERT(rodNodes[i].numAntecedents == 1);
221 	RF_ASSERT(syncNode->numAntecedents == nRodNodes + 1);
234 	RF_ASSERT(syncNode->numSuccedents == nWndNodes + 1);
235 	RF_ASSERT(xorNode->numAntecedents == 1);
242 		RF_ASSERT(wndNodes->numAntecedents == 1);
249 	RF_ASSERT(xorNode->numSuccedents == 1);
250 	RF_ASSERT(lpoNode->numAntecedents == 1);
256 	RF_ASSERT(unblockNode->numAntecedents == nWndNodes + 1);
258 		RF_ASSERT(wndNodes->numSuccedents == 1);
265 	RF_ASSERT(lpoNode->numSuccedents == 1);
271 	RF_ASSERT(unblockNode->numSuccedents == 1);
272 	RF_ASSERT(termNode->numAntecedents == 1);
273 	RF_ASSERT(termNode->numSuccedents == 0);
347 	RF_ASSERT(numDataNodes > 0);
348 	RF_ASSERT(nfaults == 1);
389 	RF_ASSERT(i == totalNumNodes);
404 		RF_ASSERT(pda != NULL);
419 		RF_ASSERT(pda != NULL);
432 		RF_ASSERT(pda != NULL);
501 		RF_ASSERT(pda);
513 	RF_ASSERT(dag_h->numSuccedents == 1);
514 	RF_ASSERT(blockNode->numAntecedents == 0);
518 	RF_ASSERT(blockNode->numSuccedents == (numDataNodes + numParityNodes));
521 		RF_ASSERT(readDataNodes[i].numAntecedents == 1);
529 		RF_ASSERT(readParityNodes[i].numAntecedents == 1);
536 		RF_ASSERT(readDataNodes[i].numSuccedents == numDataNodes + numParityNodes);
538 			RF_ASSERT(writeDataNodes[j].numAntecedents == numDataNodes + numParityNodes);
551 			RF_ASSERT(xorNodes[j].numAntecedents == numDataNodes + numParityNodes);
559 		RF_ASSERT(readParityNodes[i].numSuccedents == numDataNodes + numParityNodes);
577 		RF_ASSERT(xorNodes[i].numSuccedents == 1);
578 		RF_ASSERT(lpuNodes[i].numAntecedents == 1);
586 		RF_ASSERT(writeDataNodes[i].numSuccedents == 1);
587 		RF_ASSERT(unblockNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
595 		RF_ASSERT(lpuNodes[i].numSuccedents == 1);
602 	RF_ASSERT(unblockNode->numSuccedents == 1);
603 	RF_ASSERT(termNode->numAntecedents == 1);
604 	RF_ASSERT(termNode->numSuccedents == 0);