forked from Imagelibrary/rtems
Use the interrupt controller timestamping counter for the CPU counter if available since it runs with a high frequency.
Use the interrupt controller timestamping counter for the CPU counter if available since it runs with a high frequency.