To implement kvm_arch_reset_vcpu(), we simply re-init the VCPU using kvm_arm_vcpu_init() so that all registers of VCPU are set to their reset values by in-kernel KVM code.
Signed-off-by: Pranavkumar Sawargaonkar <pranavku...@linaro.org> Signed-off-by: Anup Patel <anup.pa...@linaro.org> --- target-arm/kvm64.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/target-arm/kvm64.c b/target-arm/kvm64.c index b0490dd..fc23da3 100644 --- a/target-arm/kvm64.c +++ b/target-arm/kvm64.c @@ -198,4 +198,8 @@ int kvm_arch_get_registers(CPUState *cs) void kvm_arch_reset_vcpu(CPUState *cs) { + /* Re-init VCPU so that all registers are set to + * their respective reset values. + */ + kvm_arm_vcpu_init(cs, 0x0); } -- 1.7.9.5