2 * Copyright (C) 2012,2013 - ARM Ltd
3 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 * Derived from arch/arm/kvm/reset.c
6 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
7 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License, version 2, as
11 * published by the Free Software Foundation.
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with this program. If not, see <http://www.gnu.org/licenses/>.
22 #include <linux/errno.h>
23 #include <linux/kvm_host.h>
24 #include <linux/kvm.h>
26 #include <asm/cputype.h>
27 #include <asm/ptrace.h>
28 #include <asm/kvm_arm.h>
29 #include <asm/kvm_coproc.h>
34 static const struct kvm_regs default_regs_reset = {
35 .regs.pstate = (PSR_MODE_EL1h | PSR_A_BIT | PSR_I_BIT |
36 PSR_F_BIT | PSR_D_BIT),
39 int kvm_arch_dev_ioctl_check_extension(long ext)
52 * kvm_reset_vcpu - sets core registers and sys_regs to reset value
53 * @vcpu: The VCPU pointer
55 * This function finds the right table above and sets the registers on
56 * the virtual CPU struct to their architectually defined reset
59 int kvm_reset_vcpu(struct kvm_vcpu *vcpu)
61 const struct kvm_regs *cpu_reset;
63 switch (vcpu->arch.target) {
65 cpu_reset = &default_regs_reset;
69 /* Reset core registers */
70 memcpy(vcpu_gp_regs(vcpu), cpu_reset, sizeof(*cpu_reset));
72 /* Reset system registers */
73 kvm_reset_sys_regs(vcpu);