Searched refs:nested_mark_vmcs12_pages_dirty (Results 1 - 3 of 3) sorted by relevance

/linux-master/arch/x86/kvm/vmx/
H A Dnested.h36 void nested_mark_vmcs12_pages_dirty(struct kvm_vcpu *vcpu);
H A Dnested.c3838 void nested_mark_vmcs12_pages_dirty(struct kvm_vcpu *vcpu) function
3893 nested_mark_vmcs12_pages_dirty(vcpu);
H A Dvmx.c6471 nested_mark_vmcs12_pages_dirty(vcpu);

Completed in 151 milliseconds