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