tree 151b6fe65303471ee28329798983ec921d281c44
parent ab76078a3d43226288fa43489b76b1416975705f
author Stefano Stabellini <stefano.stabellini@eu.citrix.com> 1448275212 +0000
committer David Vrabel <david.vrabel@citrix.com> 1450708858 +0000

xen/arm: introduce xen_read_wallclock

Read the wallclock from the shared info page at boot time.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Arnd Bergmann <arnd@arndb.de>