Searched refs:vsesr_el2 (Results 1 – 3 of 3) sorted by relevance
125 return vcpu->arch.vsesr_el2; in vcpu_get_vsesr()130 vcpu->arch.vsesr_el2 = vsesr; in vcpu_set_vsesr()
374 u64 vsesr_el2; member
124 write_sysreg_s(vcpu->arch.vsesr_el2, SYS_VSESR_EL2); in ___activate_traps()
Completed in 8 milliseconds