// course this only applies if a wait time limit has been set and a
// delayed interrupt has been scheduled.
if (waitUntil != null) {
skipTraceNote(2);
current.cancelInterruptDelayed();
processUnblockingEvent.cancel();
}
// Now after the process is active again get the message that activated
// the process and return it. Additionally remove the process from the
// list of passivated processes.