#include <stdint.h>
#include "../libopeninv/include/params.h"
uint32_t rtc_get_counter_val();