[PATCH v2] time: Fix get_ticks being non-monotonic

[Michael Opdenacker]

Hi,

Sorry, no messaging quoting, I was not subscribed to the list at that time.

Merging this change into master actually broke the SPL on
Atmel/Microchip SAMA5D3, at least booting from MMC:

RomBOOT

<debug_uart>
Could not initialize timer (err -11)

Could not initialize timer (err -11)

Could not initialize timer (err -11)
...

I'll look for a fix, but suggestions are welcome!

Cheers,

Michael.

-- 
Michael Opdenacker, CEO, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com