[PATCH v2 01/10] ARM: KVM: Keep track of currently running vcpus

2012-10-01 Thread Christoffer Dall
From: Marc Zyngier marc.zyng...@arm.com When an interrupt occurs for the guest, it is sometimes necessary to find out which vcpu was running at that point. Keep track of which vcpu is being tun in kvm_arch_vcpu_ioctl_run(), and allow the data to be retrived using either: -

[PATCH v2 01/10] ARM: KVM: Keep track of currently running vcpus

2012-10-01 Thread Christoffer Dall
From: Marc Zyngier marc.zyng...@arm.com When an interrupt occurs for the guest, it is sometimes necessary to find out which vcpu was running at that point. Keep track of which vcpu is being tun in kvm_arch_vcpu_ioctl_run(), and allow the data to be retrived using either: -