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
|