aboutsummaryrefslogtreecommitdiff
path: root/model/exceptions/sync_exception.sail
blob: e4fd7e0dc34979d3b0adce809c8010600a5f2f15 (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
}