Searched refs:vsesr_el2 (Results 1 – 7 of 7) sorted by relevance
47 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()
579 u64 vsesr_el2; member
1231 syndrome = env->cp15.vsesr_el2 & 0x1ffffff; in HELPER()1241 syndrome |= env->cp15.vsesr_el2 & 0xd000; in HELPER()
246 write_sysreg_s(vcpu->arch.vsesr_el2, SYS_VSESR_EL2); in ___activate_traps()
507 uint64_t vsesr_el2; member
7128 .access = PL2_RW, .fieldoffset = offsetof(CPUARMState, cp15.vsesr_el2) },11410 env->exception.fsr |= env->cp15.vsesr_el2 & 0xd000; in arm_cpu_do_interrupt_aarch32()11688 env->exception.syndrome = syn_serror(env->cp15.vsesr_el2 & 0x1ffffff); in arm_cpu_do_interrupt_aarch64()