Fu Wei wrote:
Once the Linux kernel has KVM support and is in hyp mode. we may need to use arch_counter_get_cntpct.
arch_counter_get_cntpct() does not appear to be valid for ARM64:
http://lxr.free-electrons.com/source/arch/arm64/include/asm/arch_timer.h#L10...