Reading Interval Timer Core snapshot from an ISR

Yes it does, it requires multiple operations to read the value. I looked up in documentation:

"A master peripheral may request a coherent snapshot of the current internal counter

by performing a write operation (write-data ignored) to one of the snap_n registers.

When a write occurs, the value of the counter is copied to snap_n registers. The

snapshot occurs whether or not the counter is running. Requesting a snapshot does

not change the internal counter's operation."

It seems that multiple access to timer snapshot results in corrupted data read. I'll tweak my code in order to prevent multiple access to it.