Home | History | Annotate | Download | only in raidframe

Lines Matching refs:RF_ASSERT

146 	RF_ASSERT(RF_IO_IS_R_OR_W(type));
185 	RF_ASSERT(n > 0);
230 		RF_ASSERT(pda != NULL);
247 	RF_ASSERT(blockNode->numAntecedents == 0);
252 		RF_ASSERT(blockNode->numSuccedents == n);
253 		RF_ASSERT(commitNode->numAntecedents == n);
257 			RF_ASSERT(tmpdiskNode->numAntecedents == 1);
263 			RF_ASSERT(tmpdiskNode->numSuccedents == 1);
270 		RF_ASSERT(commitNode->numSuccedents == 1);
271 		RF_ASSERT(termNode->numAntecedents == 1);
272 		RF_ASSERT(termNode->numSuccedents == 0);
279 		RF_ASSERT(blockNode->numSuccedents == 1);
280 		RF_ASSERT(commitNode->numAntecedents == 1);
285 		RF_ASSERT(commitNode->numSuccedents == n);
286 		RF_ASSERT(termNode->numAntecedents == n);
287 		RF_ASSERT(termNode->numSuccedents == 0);
291 			RF_ASSERT(tmpdiskNode->numAntecedents == 1);
297 			RF_ASSERT(tmpdiskNode->numSuccedents == 1);
356 	RF_ASSERT(n > 0);
387 		RF_ASSERT(data_pda != NULL);
388 		RF_ASSERT(parity_pda != NULL);
408 	RF_ASSERT(blockNode->numAntecedents == 0);
412 	RF_ASSERT(blockNode->numSuccedents == n);
415 		RF_ASSERT(tmpreadNode->numAntecedents == 1);
423 	RF_ASSERT(commitNode->numAntecedents == n);
426 		RF_ASSERT(tmpreadNode->numSuccedents == 1);
434 	RF_ASSERT(commitNode->numSuccedents == 1);
435 	RF_ASSERT(termNode->numAntecedents == 1);
436 	RF_ASSERT(termNode->numSuccedents == 0);