e3056c781e
Cache the next timeout value in the drivers instance and update the mtimecmp value once. This is advantageous as the opensbi ecall to set the timer is expensive in systems which don't have the supervisor mode timer extension. |
||
---|---|---|
.. | ||
include | ||
src | ||
CMakeLists.txt | ||
Kconfig |