On C7x core, the API `ClockP_getTimeUsec` returns a value which is 1000 us less than the correct value whenever the value is a multiple of 1000 us.

For example, when the API should return 7000, it returns 6000. For other values which are not a multiple of 1000, it returns the correct value.