NJSC32_SYNC_VAL
target->t_sync = NJSC32_SYNC_VAL(idx, offset);
NJSC32_SYNC_VAL(sc->sc_sync_max, NJSC32_SYNCOFFSET_ASYNC);