VMCS_EXIT_INSTRUCTION_LENGTH
VMCS_EXIT_INSTRUCTION_LENGTH, &u64);
vmexit->inst_length = vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH);