Lines Matching defs:vcpu
16 static inline void kvm_skip_instr(struct kvm_vcpu *vcpu)
18 if (vcpu_mode_is_32bit(vcpu)) {
19 kvm_skip_instr32(vcpu);
21 *vcpu_pc(vcpu) += 4;
22 *vcpu_cpsr(vcpu) &= ~PSR_BTYPE_MASK;
26 *vcpu_cpsr(vcpu) &= ~DBG_SPSR_SS;
33 static inline void __kvm_skip_instr(struct kvm_vcpu *vcpu)
35 *vcpu_pc(vcpu) = read_sysreg_el2(SYS_ELR);
36 vcpu_gp_regs(vcpu)->pstate = read_sysreg_el2(SYS_SPSR);
38 kvm_skip_instr(vcpu);
40 write_sysreg_el2(vcpu_gp_regs(vcpu)->pstate, SYS_SPSR);
41 write_sysreg_el2(*vcpu_pc(vcpu), SYS_ELR);