Lines Matching refs:vcpu_write_sys_reg
87 vcpu_write_sys_reg(vcpu, addr, FAR_EL1);
88 vcpu_write_sys_reg(vcpu, esr, ESR_EL1);
90 vcpu_write_sys_reg(vcpu, addr, FAR_EL2);
91 vcpu_write_sys_reg(vcpu, esr, ESR_EL2);
109 vcpu_write_sys_reg(vcpu, esr, ESR_EL1);
111 vcpu_write_sys_reg(vcpu, esr, ESR_EL2);
147 vcpu_write_sys_reg(vcpu, fsr, IFSR32_EL2);
152 vcpu_write_sys_reg(vcpu, fsr, ESR_EL1);
155 vcpu_write_sys_reg(vcpu, far, FAR_EL1);
215 vcpu_write_sys_reg(vcpu, esr, ESR_EL1);