What is the difference between Physical and Virtual timers ?
Please see developer.arm.com/.../Virtualizating-the-Generic-Timers