Searched refs:nested_mark_vmcs12_pages_dirty (Results 1 – 3 of 3) sorted by relevance
36 void nested_mark_vmcs12_pages_dirty(struct kvm_vcpu *vcpu);
3729 void nested_mark_vmcs12_pages_dirty(struct kvm_vcpu *vcpu) in nested_mark_vmcs12_pages_dirty() function3780 nested_mark_vmcs12_pages_dirty(vcpu); in vmx_complete_nested_posted_interrupt()
6093 nested_mark_vmcs12_pages_dirty(vcpu); in vmx_handle_exit()