VM_EXIT_INSTRUCTION_LEN
EVMCS1_FIELD(VM_EXIT_INSTRUCTION_LEN, vm_exit_instruction_len,
exit_insn_len = vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
FIELD(VM_EXIT_INSTRUCTION_LEN, vm_exit_instruction_len),
SHADOW_FIELD_RO(VM_EXIT_INSTRUCTION_LEN, vm_exit_instruction_len)
instr_len = vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
vmcs_read32(VM_EXIT_INSTRUCTION_LEN);
vmcs_read32(VM_EXIT_INSTRUCTION_LEN));
VM_EXIT_INSTRUCTION_LEN,
case VM_EXIT_INSTRUCTION_LEN:
case VM_EXIT_INSTRUCTION_LEN:
exit_insn_len = vmreadz(VM_EXIT_INSTRUCTION_LEN);
vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + vmreadz(VM_EXIT_INSTRUCTION_LEN));
vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + vmreadz(VM_EXIT_INSTRUCTION_LEN));