tree a2a869c07c2b23ce04344961b6b7b07c7f60758b
parent 07c6b8a8097f22b39651052c66809434c0e647b6
author Michael Brooks <michaelbrooks@google.com> 1711734029 +0000
committer Michael Brooks <michaelbrooks@google.com> 1711734029 +0000

Use Kelvin Cycle Count for micro_time

Uses the Kelvin cycle count to indicate ticks. The ticks per second
is ommited (meaning profile.Log() won't work as expected) because
the values in device.h aren't set for the simulator.

Tested:
soundstream benchmark with profile=True/False

Change-Id: I65a29c06fb4dbc74393e892f5c192a325c87ab89