The function elapsed_ms gives you the time that has passed since the
creation of the corresponding timer session. So, yes, you can measure
time intervals with this if you use the same session for t1 and t2.

If you merely aim for performance comparison and are not interested in
concrete time values, you could also use the performance counter. The
performance counter is enabled by adding the specifier 'perf_counter' to
your <build_dir>/etc/specs.conf file. Once enabled, the performance
counter is fully accessible by the (secure world) userland.

Cheers,
Martin

Am 16.08.2016 um 00:25 schrieb John David:
> Hello,
>
> I want to measure execution time of a function in the secure world of
> tz_vmm demo. I was wondering if I could use elapsed_ms( ) method in
> timer_session to measure t1 and t2 so that I can take the difference (t2
> -t1). Is there any other way?
>
>
> Best regards,
> John
>
>
>

> ------------------------------------------------------------------------------
>
>
>
> _______________________________________________
> genode-main mailing list
> genode-main@...449...2...net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main