RF_PDA_TYPE_DATA
pda_p->type = RF_PDA_TYPE_DATA;
pda_p->type = RF_PDA_TYPE_DATA;
pda_p->type = RF_PDA_TYPE_DATA;
pda_p->type = RF_PDA_TYPE_DATA;
pda_p->type = RF_PDA_TYPE_DATA;
pda_p->type = RF_PDA_TYPE_DATA;
RF_ASSERT(asmap->failedPDAs[0]->type == RF_PDA_TYPE_DATA);
if (((RF_PhysDiskAddr_t *) node->params[i].p)->type != RF_PDA_TYPE_DATA) {
pda_p->type = RF_PDA_TYPE_DATA;
if (pda_p->type == RF_PDA_TYPE_DATA)
RF_ASSERT(asmap->failedPDAs[0]->type == RF_PDA_TYPE_DATA);