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
1247 syndrome = env->cp15.vsesr_el2 & 0x1ffffff; in HELPER() 1257 syndrome |= env->cp15.vsesr_el2 & 0xd000;
246 write_sysreg_s(vcpu->arch.vsesr_el2, SYS_VSESR_EL2); in ___activate_traps()
508 uint64_t vsesr_el2;507 uint64_t vsesr_el2; global() member
7336 .access = PL2_RW, .fieldoffset = offsetof(CPUARMState, cp15.vsesr_el2) }, in access_smprimap() 11619 env->exception.fsr |= env->cp15.vsesr_el2 & 0xd000; in arm_cpu_do_interrupt_aarch64() 11907 env->exception.syndrome = syn_serror(env->cp15.vsesr_el2 & 0x1ffffff); in aa64_va_parameter_tbi()