instr_info 4877 arch/x86/kvm/vmx/nested.c u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); instr_info 4888 arch/x86/kvm/vmx/nested.c if (get_vmx_mem_address(vcpu, exit_qual, instr_info,