HomeSort by: relevance | last modified time | path
    Searched refs:RF_ASSERT (Results 1 - 25 of 44) sorted by relevancy

1 2

  /src/sys/dev/raidframe/
rf_fifo.c 71 RF_ASSERT(priority == RF_IO_NORMAL_PRIORITY || priority == RF_IO_LOW_PRIORITY);
76 RF_ASSERT(q->hq_count == 0 && q->hq_head == NULL);
79 RF_ASSERT(q->hq_count != 0 && q->hq_head != NULL);
85 RF_ASSERT(elem->next == NULL);
93 RF_ASSERT(q->lq_count == 0 && q->lq_head == NULL);
96 RF_ASSERT(q->lq_count != 0 && q->lq_head != NULL);
110 RF_ASSERT((q->hq_count + q->lq_count) == elem->queue->queueLength);
119 RF_ASSERT(q);
121 RF_ASSERT(q->hq_count != 0 && q->hq_tail != NULL);
130 RF_ASSERT(q->lq_count != 0 && q->lq_tail != NULL)
    [all...]
rf_dagffrd.c 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)
    [all...]
rf_sstf.c 100 RF_ASSERT(s);
110 RF_ASSERT(r == NULL);
111 RF_ASSERT(s);
112 RF_ASSERT(s == (*tailp));
121 RF_ASSERT((_r_) != NULL); \
125 RF_ASSERT((_r_) == (_q_)->qtail); \
126 RF_ASSERT((_q_)->queue == NULL); \
130 RF_ASSERT((_q_)->queue->prev == (_r_)); \
138 RF_ASSERT((_r_) != NULL); \
142 RF_ASSERT((_r_) == (_q_)->queue);
    [all...]
rf_dagffwr.c 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)
    [all...]
rf_alloclist.c 89 RF_ASSERT(l->numPointers == RF_POINTERS_PER_ALLOC_LIST_ELEMENT); /* find end of list */
91 RF_ASSERT(l->numPointers >= 0 && l->numPointers <= RF_POINTERS_PER_ALLOC_LIST_ELEMENT);
110 RF_ASSERT(p->numPointers >= 0 &&
113 RF_ASSERT(p->pointers[i]);
rf_paritylog.c 161 RF_ASSERT(data->prev == NULL);
162 RF_ASSERT(data->next == NULL);
166 RF_ASSERT((*head)->prev == NULL);
167 RF_ASSERT((*tail)->next == NULL);
173 RF_ASSERT(*head == NULL);
174 RF_ASSERT(*tail == NULL);
178 RF_ASSERT((*head)->prev == NULL);
179 RF_ASSERT((*tail)->next == NULL);
207 RF_ASSERT((*head)->prev == NULL);
208 RF_ASSERT((*tail)->next == NULL)
    [all...]
rf_parityloggingdags.c 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)
    [all...]
rf_dagdegrd.c 176 RF_ASSERT(pda != NULL);
178 RF_ASSERT(asmap->parityInfo->next == NULL);
202 RF_ASSERT(dag_h->numSuccedents == 1);
203 RF_ASSERT(blockNode->numAntecedents == 0);
207 RF_ASSERT(blockNode->numSuccedents == 1);
208 RF_ASSERT(rdNode->numAntecedents == 1);
214 RF_ASSERT(rdNode->numSuccedents == 1);
215 RF_ASSERT(commitNode->numAntecedents == 1);
221 RF_ASSERT(commitNode->numSuccedents == 1);
222 RF_ASSERT(termNode->numAntecedents == 1)
    [all...]
rf_revent.c 91 RF_ASSERT((rctrl->eventQueue == NULL) == (rctrl->eq_count == 0));
124 RF_ASSERT(status == EWOULDBLOCK);
161 RF_ASSERT((rctrl->eventQueue == NULL) == (rctrl->eq_count == 0));
174 RF_ASSERT(col != rctrl->fcol);
176 RF_ASSERT(col >= 0 && col <= raidPtr->numCol);
179 RF_ASSERT((rctrl->eventQueue == NULL) == (rctrl->eq_count == 0));
rf_dagdegwr.c 92 RF_ASSERT(asmap->numDataFailed == 1);
106 RF_ASSERT(!(asmap->numStripeUnitsAccessed != 1 &&
198 RF_ASSERT(asmap->numDataFailed == 1);
288 RF_ASSERT(nRrdNodes > 0);
315 RF_ASSERT(pda);
332 RF_ASSERT(pda);
410 RF_ASSERT(pda);
465 RF_ASSERT(paramNum == 2 * nXorBufs + 2);
472 RF_ASSERT(blockNode->numAntecedents == 0);
476 RF_ASSERT(blockNode->numSuccedents == nRrdNodes)
    [all...]
rf_engine.c 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)
    [all...]
rf_general.h 60 #define RF_ASSERT(_x_) { \
66 #define RF_ASSERT(x) { /*noop*/ (void)(x); }
rf_cvscan.c 60 RF_ASSERT(hdr->left->sectorOffset < hdr->cur_block);
64 RF_ASSERT(tmp->sectorOffset <= key
66 RF_ASSERT(i == hdr->left_cnt);
71 RF_ASSERT(key <= tmp->sectorOffset);
72 RF_ASSERT(tmp->priority == hdr->nxt_priority);
73 RF_ASSERT(pri_ok(tmp->priority));
75 RF_ASSERT(i == hdr->right_cnt);
80 RF_ASSERT(tmp);
81 RF_ASSERT(hdr);
82 RF_ASSERT(pri_ok(tmp->priority))
    [all...]
rf_debugMem.c 70 RF_ASSERT(size != 0);
160 RF_ASSERT(mh_table_initialized);
167 RF_ASSERT(p);
178 RF_ASSERT(0);
192 RF_ASSERT(mh_table_initialized);
rf_raid1.c 144 RF_ASSERT(stripeID >= 0);
145 RF_ASSERT(addr >= 0);
147 RF_ASSERT(*diskids);
186 RF_ASSERT(RF_IO_IS_R_OR_W(type));
297 RF_ASSERT(layoutPtr->numDataCol == layoutPtr->numParityCol);
336 RF_ASSERT(pda);
340 RF_ASSERT(pda->numSector != 0);
352 RF_ASSERT(pda == NULL);
359 RF_ASSERT(pda);
361 RF_ASSERT(pda->numSector != 0)
    [all...]
rf_evenodd_dagfuncs.c 115 RF_ASSERT(EPDA->type == RF_PDA_TYPE_Q);
116 RF_ASSERT(ESUOffset == 0);
164 RF_ASSERT(((RF_PhysDiskAddr_t *) node->params[2].p)->type == RF_PDA_TYPE_Q);
205 RF_ASSERT(node->params[i + 1].p != ebuf);
256 RF_ASSERT(node->params[i + 1].p != ebuf);
317 RF_ASSERT(sizeof(short) == 2 || sizeof(short) == 1);
318 RF_ASSERT(bytesPerEU % sizeof(short) == 0);
320 RF_ASSERT(sizeof(long) == 8 || sizeof(long) == 4);
321 RF_ASSERT(bytesPerEU % sizeof(long) == 0);
468 RF_ASSERT(bytesPerEU % sizeof(short) == 0)
    [all...]
rf_reconbuffer.c 135 RF_ASSERT(rbuf);
136 RF_ASSERT(rbuf->col != reconCtrlPtr->fcol);
151 RF_ASSERT(pssPtr); /* if it didn't exist, we wouldn't have gotten
190 RF_ASSERT(t);
212 RF_ASSERT(t);
226 RF_ASSERT(!keep_it && !use_committed);
304 RF_ASSERT(pssPtr->rbuf != NULL);
305 RF_ASSERT(numBufs > 0 && numBufs < RF_PS_MAX_BUFS);
327 RF_ASSERT(0);
rf_stripelocks.c 265 RF_ASSERT(RF_IO_IS_R_OR_W(lockReqDesc->type));
388 RF_ASSERT(RF_IO_IS_R_OR_W(lockReqDesc->type));
412 RF_ASSERT(lockDesc); /* major error to release a lock that doesn't
420 RF_ASSERT(lr && (lr == lockReqDesc)); /* major error to release a
426 RF_ASSERT(lr == lockDesc->granted);
464 RF_ASSERT(lr->type == RF_IO_TYPE_READ);
470 RF_ASSERT(!lr->templink);
571 RF_ASSERT(candidate == lockDesc->waitersH);
580 RF_ASSERT(!candidate->templink);
601 RF_ASSERT(lockDesc->nWriters == 0)
    [all...]
rf_evenodd.c 191 RF_ASSERT(RF_IO_IS_R_OR_W(type));
245 RF_ASSERT((asmap->failedPDAs[0]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[0]->type == RF_PDA_TYPE_Q));
289 RF_ASSERT(asmap->failedPDAs[0]->type == RF_PDA_TYPE_DATA);
290 RF_ASSERT((asmap->failedPDAs[1]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[1]->type == RF_PDA_TYPE_Q));
377 RF_ASSERT(pda);
379 RF_ASSERT(pda->numSector != 0);
388 RF_ASSERT(!asmap->parityInfo->next);
390 RF_ASSERT(asmap->parityInfo->numSector != 0);
395 RF_ASSERT(!asmap->qInfo->next);
397 RF_ASSERT(asmap->qInfo->numSector != 0)
    [all...]
rf_map.c 129 RF_ASSERT(asmList);
157 RF_ASSERT(pdaList);
183 RF_ASSERT(pda_p->numSector != 0);
200 RF_ASSERT(pdaList);
217 RF_ASSERT(pdaList && pdaList->next);
245 RF_ASSERT(asmList == NULL && pdaList == NULL);
248 RF_ASSERT(numStripes == totStripes);
581 RF_ASSERT(t == count);
622 * spare in another row RF_ASSERT(row == testrow); */
629 RF_ASSERT(raidPtr->reconControl->fcol == diskids[i])
    [all...]
rf_pq.c 111 RF_ASSERT(RF_IO_IS_R_OR_W(type));
165 RF_ASSERT((asmap->failedPDAs[0]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[0]->type == RF_PDA_TYPE_Q));
197 RF_ASSERT(asmap->failedPDAs[0]->type == RF_PDA_TYPE_DATA);
198 RF_ASSERT((asmap->failedPDAs[1]->type == RF_PDA_TYPE_PARITY) || (asmap->failedPDAs[1]->type == RF_PDA_TYPE_Q));
258 RF_ASSERT(4 * d + 3 == np);
265 RF_ASSERT(new->numSector == old->numSector);
266 RF_ASSERT(new->raidAddress == old->raidAddress);
320 RF_ASSERT(4 * d + 3 == np);
327 RF_ASSERT(new->numSector == old->numSector);
328 RF_ASSERT(new->raidAddress == old->raidAddress)
    [all...]
rf_paritylogging.c 430 RF_ASSERT(raidPtr->regionInfo[i].capacity +
433 RF_ASSERT(raidPtr->regionInfo[i].parityStartAddr +
456 RF_ASSERT(raidPtr->parityLogDiskQueue.threadState == 0);
503 RF_ASSERT(raidPtr->regionInfo[regionID].coreLog == NULL);
504 RF_ASSERT(raidPtr->regionInfo[regionID].diskCount == 0);
535 RF_ASSERT(0);
617 RF_ASSERT(raidPtr->parityLogDiskQueue.bufHead == NULL);
618 RF_ASSERT(raidPtr->parityLogDiskQueue.bufTail == NULL);
619 RF_ASSERT(raidPtr->parityLogDiskQueue.reintHead == NULL);
620 RF_ASSERT(raidPtr->parityLogDiskQueue.reintTail == NULL)
    [all...]
rf_stripelocks.h 64 RF_ASSERT(RF_IO_IS_R_OR_W((_lr_)->type)); \
rf_aselect.c 271 RF_ASSERT(j == numStripeUnits);
323 RF_ASSERT(stripeNum == numStripesBailed);
388 RF_ASSERT(bFunc);
413 RF_ASSERT(j == asm_p->numStripeUnitsAccessed);
430 RF_ASSERT(i == desc->numStripes);
498 RF_ASSERT(stripeNum == numStripesBailed);
499 RF_ASSERT(stripeUnitNum == numStripeUnitsBailed);
rf_pqdegdags.c 208 RF_ASSERT(0);
255 RF_ASSERT(i < numDataCol);
256 RF_ASSERT(two == 0);
312 RF_ASSERT(node->numResults == 2);
313 RF_ASSERT(asmap->failedPDAs[1] == NULL);
336 RF_ASSERT(i < numDataCol);
351 RF_ASSERT(asmap->numStripeUnitsAccessed == 1);

Completed in 23 milliseconds

1 2