Lines Matching defs:inslen
1174 uint64_t rip, inslen, intstate, rflags;
1182 inslen = vmx_vmread(VMCS_EXIT_INSTRUCTION_LENGTH);
1184 vmx_vmwrite(VMCS_GUEST_RIP, rip + inslen);
1507 uint64_t inslen, rip;
1509 inslen = vmx_vmread(VMCS_EXIT_INSTRUCTION_LENGTH);
1511 exit->u.insn.npc = rip + inslen;
1805 uint64_t qual, info, inslen, rip;
1841 inslen = vmx_vmread(VMCS_EXIT_INSTRUCTION_LENGTH);
1843 exit->u.io.npc = rip + inslen;
1943 uint64_t inslen, rip;
1953 inslen = vmx_vmread(VMCS_EXIT_INSTRUCTION_LENGTH);
1955 exit->u.rdmsr.npc = rip + inslen;
1965 uint64_t rdx, rax, inslen, rip;
1979 inslen = vmx_vmread(VMCS_EXIT_INSTRUCTION_LENGTH);
1981 exit->u.wrmsr.npc = rip + inslen;
2198 uint64_t info, err, inslen;
2215 inslen = vmx_vmread(VMCS_EXIT_INSTRUCTION_LENGTH);
2216 vmx_vmwrite(VMCS_ENTRY_INSTRUCTION_LENGTH, inslen);