vmx_instruction_error_decode
const char *vmx_instruction_error_decode(uint32_t);
vmx_instruction_error_decode(insn_error));