summaryrefslogtreecommitdiffstats
path: root/spec/constraint/interrupt-enable.yml
blob: 9994596ec39759b11d15205846e5bc70846175cb (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2021 embedded brains GmbH & Co. KG
enabled-by: true
links:
- role: requirement-refinement
  uid: /req/usage-constraints
rationale: null
text: |
  While at least one maskable interrupt is pending, when the directive enables
  maskable interrupts, the pending interrupts are immediately serviced.  The
  interrupt service routines may unblock higher priority tasks which may
  preempt the calling task.
type: constraint