opensbi/lib/utils
Atish Patra 2e5cc9051b lib: Fix timer for 32 bit
To read 64bit time in 32 bit we have to read lower & upper half
separately and 'or' them together. However, upper half time may
have changed by the time we read lower half. Thus, the resultant
64 bit time may not be accurate.

Consider lower half time value only if upper half time value has
not changed.

Signed-off-by: Atish Patra <atish.patra@wdc.com>
Reviewed-by: Anup Patel <anup.patel@wdc.com>
2019-08-31 13:13:12 +05:30
..
irqchip lib: Use correct type for return value 2019-08-12 09:23:28 +05:30
libfdt platform: Enable all drivers by default. 2019-06-19 09:49:05 +05:30
serial platform: Enable all drivers by default. 2019-06-19 09:49:05 +05:30
sys lib: Fix timer for 32 bit 2019-08-31 13:13:12 +05:30