VMCS_EXIT_INSTRUCTION_LENGTH
#define vmexit_instruction_length() vmcs_read(VMCS_EXIT_INSTRUCTION_LENGTH)
VMCS_EXIT_INSTRUCTION_LENGTH, &u64);