armv8 - fix os_cpu_clock_frequency for armv8 96/5796/2
authorGabriel Ganne <gabriel.ganne@enea.com>
Mon, 20 Mar 2017 14:13:02 +0000 (15:13 +0100)
committerDamjan Marion <dmarion.lists@gmail.com>
Tue, 21 Mar 2017 13:29:20 +0000 (13:29 +0000)
commit1dc2f9284e5b5eb8b300d63cdb8f74ee36cdecb0
treed8cf0585250ef1b2f35f380dd41121e20780a149
parenteb743fad56b32cb20ad2d2cadc4760f9c25be5e1
armv8 - fix os_cpu_clock_frequency for armv8

System timer of ARMv8 runs at a different frequency than the CPU's.
The frequency is fixed, typically in the range 1-50MHz.  It can be
read at CNTFRQ special register.

Change-Id: I6a21a6a9e2df783559df0caec63d5525c2258227
Signed-off-by: Gabriel Ganne <gabriel.ganne@enea.com>
src/vppinfra/time.c