iot-lab_M3: definitions for implementation of peripheral timer driver