Searched refs:__vcpu_write_sys_reg (Results 1 – 1 of 1) sorted by relevance
35 static inline void __vcpu_write_sys_reg(struct kvm_vcpu *vcpu, u64 val, int reg) in __vcpu_write_sys_reg() function112 __vcpu_write_sys_reg(vcpu, *vcpu_pc(vcpu), ELR_EL1); in enter_exception64()117 __vcpu_write_sys_reg(vcpu, *vcpu_pc(vcpu), ELR_EL2); in enter_exception64()