Searched refs:guest_mdcr (Results 1 – 1 of 1) sorted by relevance
1905 u64 guest_mdcr = __vcpu_sys_reg(vcpu, MDCR_EL2); in kvm_nested_setup_mdcr_el2() local1908 vcpu->arch.mdcr_el2 |= (guest_mdcr & NV_MDCR_GUEST_INCLUDE); in kvm_nested_setup_mdcr_el2()