On Mon, Jan 05, 2015 at 02:52:59PM +0100, Richard Cochran wrote:> Nope. It probably needs just one line:> > + #include <linux/timecounter.h>A better fix would be to add this one line into include/clocksource/arm_arch_timer.hbecause that will fix virt/kvm/arm/arch_timer.cwhich I surely also broke.Thanks,Richard