Searched refs:vsesr_el2 (Results 1 – 3 of 3) sorted by relevance
146 return vcpu->arch.vsesr_el2; in vcpu_get_vsesr()151 vcpu->arch.vsesr_el2 = vsesr; in vcpu_set_vsesr()
493 u64 vsesr_el2; member
116 write_sysreg_s(vcpu->arch.vsesr_el2, SYS_VSESR_EL2); in ___activate_traps()