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