Searched refs:vsesr_el2 (Results 1 – 3 of 3) sorted by relevance
98 return vcpu->arch.vsesr_el2; in vcpu_get_vsesr()103 vcpu->arch.vsesr_el2 = vsesr; in vcpu_set_vsesr()
296 u64 vsesr_el2; member
134 write_sysreg_s(vcpu->arch.vsesr_el2, SYS_VSESR_EL2); in __activate_traps()
