Searched refs:vsesr_el2 (Results 1 – 7 of 7) sorted by relevance
46 hyp_vcpu->vcpu.arch.vsesr_el2 = host_vcpu->arch.vsesr_el2; in flush_hyp_vcpu()
139 return vcpu->arch.vsesr_el2; in vcpu_get_vsesr()144 vcpu->arch.vsesr_el2 = vsesr; in vcpu_set_vsesr()
578 u64 vsesr_el2; member
1261 syndrome = env->cp15.vsesr_el2 & 0x1ffffff; in HELPER()1271 syndrome |= env->cp15.vsesr_el2 & 0xd000; in HELPER()
246 write_sysreg_s(vcpu->arch.vsesr_el2, SYS_VSESR_EL2); in ___activate_traps()
563 uint64_t vsesr_el2; member
6400 .access = PL2_RW, .fieldoffset = offsetof(CPUARMState, cp15.vsesr_el2) },10458 env->exception.fsr |= env->cp15.vsesr_el2 & 0xd000; in arm_cpu_do_interrupt_aarch32()10746 env->exception.syndrome = syn_serror(env->cp15.vsesr_el2 & 0x1ffffff); in arm_cpu_do_interrupt_aarch64()