Searched refs:vei_insn_len (Results 1 – 4 of 4) sorted by relevance
344 printf("insn_len = %u\n", exit->vei.vei_insn_len); in main()345 exit->vrs.vrs_gprs[VCPU_REGS_RIP] += exit->vei.vei_insn_len; in main()
330 uint8_t vei_insn_len; /* Count of instruction bytes */ member
578 vei->vrs.vrs_gprs[VCPU_REGS_RIP] += vei->vei.vei_insn_len; in vcpu_exit_inout()
4845 vcpu->vc_exit.vei.vei_insn_len = (uint8_t)insn_length; in svm_handle_inout()4898 vcpu->vc_exit.vei.vei_insn_len = (uint8_t)insn_length; in vmx_handle_inout()