> I commented the device tree reading property: > arm,cpu-registers-not-fw-configured , from the arch/arm/kernel/vdso.c
Don't do that, please. The presence of that property indicates that the counter is not suitable for use by the OS. There is nothing we can do in Linux to make the VDSO useful on this system; that is why it gets disabled at runtime. The timing measurements you get are likely tainted by garbage results from the VDSO itself.
