Cross Reference: /src/sys/dev/raidframe/rf

Lines Matching refs:RF_ASSERT
292 	RF_ASSERT(nodeNum == nRodNodes);
302 		RF_ASSERT(pda != NULL);
377 	RF_ASSERT(asmap->parityInfo->next == NULL);
397 		RF_ASSERT(asmap->parityInfo->next == NULL);
405 	RF_ASSERT(blockNode->numAntecedents == 0);
410 		RF_ASSERT(blockNode->numSuccedents == nRodNodes);
411 		RF_ASSERT(xorNode->numAntecedents == nRodNodes);
414 			RF_ASSERT(tmpNode->numAntecedents == 1);
420 			RF_ASSERT(tmpNode->numSuccedents == 1);
428 		RF_ASSERT(blockNode->numSuccedents == 1);
429 		RF_ASSERT(xorNode->numAntecedents == 1);
436 	RF_ASSERT(xorNode->numSuccedents == 1);
437 	RF_ASSERT(commitNode->numAntecedents == 1);
443 	RF_ASSERT(commitNode->numSuccedents == nWndNodes + nfaults);
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);
466 	RF_ASSERT(termNode->numSuccedents == 0);
469 		RF_ASSERT(wndNodes->numSuccedents == 1);
475 	RF_ASSERT(wnpNode->numSuccedents == 1);
481 		RF_ASSERT(wnqNode->numSuccedents == 1);
562 	RF_ASSERT(numDataNodes > 0);
694 		RF_ASSERT(pda != NULL);
714 		RF_ASSERT(pda != NULL);
738 			RF_ASSERT(pda != NULL);
762 		RF_ASSERT(pda != NULL);
944 		RF_ASSERT(pda != NULL);
969 			RF_ASSERT(pda != NULL);
992 	RF_ASSERT(blockNode->numSuccedents == (numDataNodes + (numParityNodes * nfaults)));
996 		RF_ASSERT(tmpreadDataNode->numAntecedents == 1);
1006 		RF_ASSERT(tmpreadParityNode->numAntecedents == 1);
1018 			RF_ASSERT(tmpreadQNode->numAntecedents == 1);
1028 		RF_ASSERT(tmpreadDataNode->numSuccedents == (nfaults * numParityNodes));
1031 			RF_ASSERT(tmpxorNode->numAntecedents == numDataNodes + numParityNodes);
1047 				RF_ASSERT(tmpqNode->numAntecedents == numDataNodes + numParityNodes);
1060 		RF_ASSERT(tmpreadParityNode->numSuccedents == numParityNodes);
1077 			RF_ASSERT(tmpreadParityNode->numSuccedents == numParityNodes);
1091 	RF_ASSERT(commitNode->numAntecedents == (nfaults * numParityNodes));
1094 		RF_ASSERT(tmpxorNode->numSuccedents == 1);
1106 			RF_ASSERT(tmpqNode->numSuccedents == 1);
1115 	RF_ASSERT(commitNode->numSuccedents == (numDataNodes + (nfaults * numParityNodes)));
1118 		RF_ASSERT(tmpwriteDataNode->numAntecedents == 1);
1126 		RF_ASSERT(tmpwriteParityNode->numAntecedents == 1);
1136 			RF_ASSERT(tmpwriteQNode->numAntecedents == 1);
1144 	RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
1145 	RF_ASSERT(termNode->numSuccedents == 0);
1149 		RF_ASSERT(tmpwriteDataNode->numSuccedents == 1);
1150 		RF_ASSERT(termNode->numAntecedents == (numDataNodes + (nfaults * numParityNodes)));
1159 		RF_ASSERT(tmpwriteParityNode->numSuccedents == 1);
1170 			RF_ASSERT(tmpwriteQNode->numSuccedents == 1);
1283 			RF_ASSERT(pda != NULL);
1291 		RF_ASSERT(pda == NULL);
1303 			RF_ASSERT(pda != NULL);
1312 		RF_ASSERT(pda == NULL);
1313 		RF_ASSERT(pdaP == NULL);
1316 	RF_ASSERT(dag_h->numSuccedents == 1);
1317 	RF_ASSERT(commitNode->numAntecedents == 0);
1321 	RF_ASSERT(commitNode->numSuccedents == (nWndNodes + nWmirNodes));
1324 		RF_ASSERT(tmpwndNode->numAntecedents == 1);
1332 		RF_ASSERT(tmpwmirNode->numAntecedents == 1);
1340 	RF_ASSERT(unblockNode->numAntecedents == (nWndNodes + nWmirNodes));
1343 		RF_ASSERT(tmpwndNode->numSuccedents == 1);
1351 		RF_ASSERT(tmpwmirNode->numSuccedents == 1);
1359 	RF_ASSERT(unblockNode->numSuccedents == 1);
1360 	RF_ASSERT(termNode->numAntecedents == 1);
1361 	RF_ASSERT(termNode->numSuccedents == 0);
OpenGrok
