2 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
3 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License, version 2, as
7 * published by the Free Software Foundation.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
18 #include <linux/compiler.h>
19 #include <linux/errno.h>
20 #include <linux/sched.h>
21 #include <linux/kvm_host.h>
22 #include <linux/kvm.h>
24 #include <asm/unified.h>
25 #include <asm/ptrace.h>
26 #include <asm/cputype.h>
27 #include <asm/kvm_arm.h>
28 #include <asm/kvm_coproc.h>
30 #include <kvm/arm_arch_timer.h>
32 /******************************************************************************
33 * Cortex-A15 and Cortex-A7 Reset Values
36 static struct kvm_regs cortexa_regs_reset
= {
37 .usr_regs
.ARM_cpsr
= SVC_MODE
| PSR_A_BIT
| PSR_I_BIT
| PSR_F_BIT
,
40 static const struct kvm_irq_level cortexa_vtimer_irq
= {
46 /*******************************************************************************
47 * Exported reset function
51 * kvm_reset_vcpu - sets core registers and cp15 registers to reset value
52 * @vcpu: The VCPU pointer
54 * This function finds the right table above and sets the registers on the
55 * virtual CPU struct to their architectually defined reset values.
57 int kvm_reset_vcpu(struct kvm_vcpu
*vcpu
)
59 struct kvm_regs
*reset_regs
;
60 const struct kvm_irq_level
*cpu_vtimer_irq
;
62 switch (vcpu
->arch
.target
) {
63 case KVM_ARM_TARGET_CORTEX_A7
:
64 case KVM_ARM_TARGET_CORTEX_A15
:
65 reset_regs
= &cortexa_regs_reset
;
66 vcpu
->arch
.midr
= read_cpuid_id();
67 cpu_vtimer_irq
= &cortexa_vtimer_irq
;
73 /* Reset core registers */
74 memcpy(&vcpu
->arch
.regs
, reset_regs
, sizeof(vcpu
->arch
.regs
));
76 /* Reset CP15 registers */
77 kvm_reset_coprocs(vcpu
);
79 /* Reset arch_timer context */
80 kvm_timer_vcpu_reset(vcpu
, cpu_vtimer_irq
);