Searched refs:nested_mark_vmcs12_pages_dirty (Results 1 – 1 of 1) sorted by relevance
6115 static void nested_mark_vmcs12_pages_dirty(struct kvm_vcpu *vcpu) in nested_mark_vmcs12_pages_dirty() function6166 nested_mark_vmcs12_pages_dirty(vcpu); in vmx_complete_nested_posted_interrupt()9640 nested_mark_vmcs12_pages_dirty(vcpu); in nested_vmx_exit_reflected()
