[rtems-central commit] spec: Specify CONFIGURE_RECORD_INTERRUPTS_ENABLED
Sebastian Huber
sebh at rtems.org
Fri Dec 2 09:26:30 UTC 2022
Module: rtems-central
Branch: master
Commit: 492c2d44cbe148a447304519efc5a3ccb54235a8
Changeset: http://git.rtems.org/rtems-central/commit/?id=492c2d44cbe148a447304519efc5a3ccb54235a8
Author: Sebastian Huber <sebastian.huber at embedded-brains.de>
Date: Thu Dec 1 12:54:20 2022 +0100
spec: Specify CONFIGURE_RECORD_INTERRUPTS_ENABLED
Update #4769.
---
spec/acfg/if/record-interrupts-enabled.yml | 27 +++++++++++++++++++++++++++
spec/acfg/req/record-interrupts-enabled.yml | 16 ++++++++++++++++
2 files changed, 43 insertions(+)
diff --git a/spec/acfg/if/record-interrupts-enabled.yml b/spec/acfg/if/record-interrupts-enabled.yml
new file mode 100644
index 00000000..36b5540a
--- /dev/null
+++ b/spec/acfg/if/record-interrupts-enabled.yml
@@ -0,0 +1,27 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+appl-config-option-type: feature-enable
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+description: |
+ In case
+
+ * this configuration option is defined
+
+ * and ${record-per-processor-items:/name} is properly defined,
+
+ then the interrupt event recording is enabled.
+enabled-by: true
+index-entries: []
+interface-type: appl-config-option
+links:
+- role: interface-placement
+ uid: domain
+- role: interface-ingroup
+ uid: group-eventrecord
+- role: constraint
+ uid: ../constraint/option-not-pre-qualified
+name: CONFIGURE_RECORD_INTERRUPTS_ENABLED
+notes: |
+ The interrupt event recording generates interrupt entry and exit events when
+ interrupt entries are dispatched.
+type: interface
diff --git a/spec/acfg/req/record-interrupts-enabled.yml b/spec/acfg/req/record-interrupts-enabled.yml
new file mode 100644
index 00000000..724598e1
--- /dev/null
+++ b/spec/acfg/req/record-interrupts-enabled.yml
@@ -0,0 +1,16 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: false
+functional-type: function
+links:
+- role: interface-function
+ uid: ../if/record-interrupts-enabled
+- role: requirement-refinement
+ uid: group
+rationale: null
+references: []
+requirement-type: functional
+text: |
+ The application configuration option shall enable the interrupt event recording.
+type: requirement
More information about the vc
mailing list