instr_len_field  6343 arch/x86/kvm/vmx/vmx.c 				      int instr_len_field,
instr_len_field  6375 arch/x86/kvm/vmx/vmx.c 		vcpu->arch.event_exit_inst_len = vmcs_read32(instr_len_field);
instr_len_field  6385 arch/x86/kvm/vmx/vmx.c 		vcpu->arch.event_exit_inst_len = vmcs_read32(instr_len_field);