*/
#include "Timer.h"
-module AdcStreamP {
+module AdcStreamP @safe() {
provides {
interface Init @atleastonce();
interface ReadStream<uint16_t>[uint8_t client];
norace uint16_t count;
norace uint16_t * COUNT_NOK(count) buffer;
- norace uint16_t * FAT_NOK(buffer, buffer+count) pos;
+ norace uint16_t * BND_NOK(buffer, buffer+count) pos;
norace uint32_t now, period;
atomic entry = bufferQueue[c];
for (; entry; entry = entry->next){
- uint16_t tmp_count = entry->count;
+ uint16_t tmp_count __DEPUTY_UNUSED__ = entry->count;
signal ReadStream.bufferDone[c](FAIL, TCAST(uint16_t * COUNT_NOK(tmp_count),entry), entry->count);
}