printf_payload = (printf_msg_t*)call Packet.getPayload(&printfMsg, sizeof(printf_msg_t));
call Mutex.init(&printf_mutex);
call Barrier.reset(&flushstart_barrier, 2);
call Barrier.reset(&flushdone_barrier, 2);
call PrintfThread.start(NULL);
}
printf_payload = (printf_msg_t*)call Packet.getPayload(&printfMsg, sizeof(printf_msg_t));
call Mutex.init(&printf_mutex);
call Barrier.reset(&flushstart_barrier, 2);
call Barrier.reset(&flushdone_barrier, 2);
call PrintfThread.start(NULL);
}