aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_sync_exception.sail
blob: 48efdb708e81b04d7cc2ce2120fe80062500784e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
/*=======================================================================================*/
/*  This Sail RISC-V architecture model, comprising all files and                        */
/*  directories except where otherwise noted is subject the BSD                          */
/*  two-clause license in the LICENSE file.                                              */
/*                                                                                       */
/*  SPDX-License-Identifier: BSD-2-Clause                                                */
/*=======================================================================================*/

/* model context for synchronous exceptions, parameterized for extensions */

struct sync_exception = {
  trap    : ExceptionType,
  excinfo : option(xlenbits),
  ext     : option(ext_exception)   /* for extensions */
}