KVM_REQ_GET_VMCS12_PAGES  241 arch/x86/kvm/vmx/nested.c 	kvm_clear_request(KVM_REQ_GET_VMCS12_PAGES, vcpu);
KVM_REQ_GET_VMCS12_PAGES 3131 arch/x86/kvm/vmx/nested.c 		kvm_make_request(KVM_REQ_GET_VMCS12_PAGES, vcpu);
KVM_REQ_GET_VMCS12_PAGES 8039 arch/x86/kvm/x86.c 		if (kvm_check_request(KVM_REQ_GET_VMCS12_PAGES, vcpu)) {