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