FFLP_RDC_TABLE_VALID
ASSERT(FFLP_RDC_TABLE_VALID(rdc_table));
if (!FFLP_RDC_TABLE_VALID(rdc_table)) {