blob: 685aaf76399e4c283e2c8aea29428c603608ad7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
links:
- role: requirement-refinement
uid: /req/usage-constraints
rationale: null
text: |
The directive shall not be called while the interrupt server entry is pending
on or serviced by its current interrupt server. Calling the directive under
these conditions is undefined behaviour.
type: constraint
|