use EventClockT times in DmaScheduler::queue