File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -12190,7 +12190,6 @@ void bench_sphincsKeySign(byte level, byte optim)
1219012190 /* prototype definition */
1219112191 int construct_argv ();
1219212192 extern char * __argv [22 ];
12193- #endif
1219412193
1219512194 /* current_time(reset)
1219612195 *
@@ -12277,7 +12276,24 @@ void bench_sphincsKeySign(byte level, byte optim)
1227712276 #endif /* configTICK_RATE_HZ */
1227812277
1227912278 return ret ;
12279+
1228012280 } /* current_time */
12281+ #else
12282+ /* current_time(reset)
12283+ *
12284+ * Benchmark passage of time, in fractional seconds.
12285+ * [reset] is non zero to adjust timer or counter to zero
12286+ *
12287+ * Use care when repeatedly calling calling. See implementation. */
12288+ double current_time (int reset )
12289+ {
12290+ portTickType tickCount ;
12291+ /* tick count == ms, if configTICK_RATE_HZ is set to 1000 */
12292+ tickCount = xTaskGetTickCount ();
12293+ return (double )tickCount / 1000 ;
12294+ }
12295+ #endif
12296+
1228112297
1228212298#elif defined (WOLFSSL_TIRTOS )
1228312299
You can’t perform that action at this time.
0 commit comments