text: /*
   * Copyright (c) 2005-2021 Imperas Software Ltd., www.imperas.com
   *
   * Licensed under the Apache License, Version 2.0 (the "License");
   * you may not use this file except in compliance with the License.
   * You may obtain a copy of the License at
   *
   *   http://www.apache.org/licenses/LICENSE-2.0
   *
   * Unless required by applicable law or agreed to in writing, software
   * distributed under the License is distributed on an "AS IS" BASIS,
   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
   * either express or implied.
   *
   * See the License for the specific language governing permissions and
   * limitations under the License.
   *
   */
  
  #pragma once
  
  // VMI header files
  #include "vmi/vmiTyperefs.h"
  
  // model header files
  #include "andesTypeRefs.h"
  
  // base model header files
  #include "riscvTypes.h"
  #include "riscvTypeRefs.h"
  
  
  //
  // Decode instruction at the given address
  //
  void andesDecode(
      riscvP          riscv,
      vmiosObjectP    object,
      riscvAddr       thisPC,
      andesInstrInfoP info
  );
  
  
  