tree de8cd94b10d2cd768e990a38a95d8a40ab3dac0a
parent 9ae9e2535d7dd1c21d6a7db1a7f2fc507a5e4080
author Marc Zyngier <marc.zyngier@arm.com> 1358965318 -0500
committer Marc Zyngier <marc.zyngier@arm.com> 1360609511 +0000

ARM: KVM: arch_timers: Add guest timer core support

Add some the architected timer related infrastructure, and support timer
interrupt injection, which can happen as a resultof three possible
events:

- The virtual timer interrupt has fired while we were still
  executing the guest
- The timer interrupt hasn't fired, but it expired while we
  were doing the world switch
- A hrtimer we programmed earlier has fired

Reviewed-by: Will Deacon <will.deacon@arm.com>
Signed-off-by: Christoffer Dall <c.dall@virtualopensystems.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>