Searched refs:mdcr_el2_host (Results 1 – 2 of 2) sorted by relevance
197 vcpu->arch.mdcr_el2_host = read_sysreg(mdcr_el2); in __activate_traps_common()219 write_sysreg(vcpu->arch.mdcr_el2_host, mdcr_el2); in __deactivate_traps_common()
494 u64 mdcr_el2_host; member