Searched refs:nested_mark_vmcs12_pages_dirty (Results 1 – 1 of 1) sorted by relevance
3374 static void nested_mark_vmcs12_pages_dirty(struct kvm_vcpu *vcpu) in nested_mark_vmcs12_pages_dirty() function3425 nested_mark_vmcs12_pages_dirty(vcpu); in vmx_complete_nested_posted_interrupt()5345 nested_mark_vmcs12_pages_dirty(vcpu); in nested_vmx_exit_reflected()
