* interface. Basically, frames are formatted with 4 words of 16 bits,
* describing the values of the 4 encoders. */
+#ifndef HOST_VERSION
+
#include <string.h>
#include <aversive.h>
g_encoders_spi_values[(int)encoder] = val;
IRQ_UNLOCK(flags);
}
+
+#endif