spec: Specify more configuration directives

5 files changed, 56 insertions, 4 deletions

diff --git a/spec/acfg/val/acfg.yml b/spec/acfg/val/acfg.yml
index e174f72c..272c5ee5 100644
--- a/spec/acfg/val/acfg.yml
+++ b/spec/acfg/val/acfg.yml
@@ -140,6 +140,16 @@ test-actions:
     - role: validation
       uid: /rtems/config/req/get-maximum-periods
   - brief: |
+      Check the default ${/acfg/if/max-ports:/name} value.
+    code: |
+      T_eq_u32(
+        rtems_configuration_get_maximum_ports(),
+        0
+      );
+    links:
+    - role: validation
+      uid: /rtems/config/req/get-maximum-ports
+  - brief: |
       Check the configured ${/acfg/if/max-processors:/name} value.
     code: |
       T_eq_u32(
@@ -156,6 +166,16 @@ test-actions:
     - role: validation
       uid: /rtems/config/req/get-maximum-processors
   - brief: |
+      Check the default ${/acfg/if/max-regions:/name} value.
+    code: |
+      T_eq_u32(
+        rtems_configuration_get_maximum_regions(),
+        0
+      );
+    links:
+    - role: validation
+      uid: /rtems/config/req/get-maximum-regions
+  - brief: |
       Check the configured ${/acfg/if/max-semaphores:/name} value.
     code: |
       T_eq_u32(
diff --git a/spec/rtems/config/if/get-maximum-ports.yml b/spec/rtems/config/if/get-maximum-ports.yml
index 4f6cbbca..fad700da 100644
--- a/spec/rtems/config/if/get-maximum-ports.yml
+++ b/spec/rtems/config/if/get-maximum-ports.yml
@@ -20,8 +20,6 @@ links:
   uid: header-2
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: rtems_configuration_get_maximum_ports
 notes: |
   See ${/acfg/if/max-ports:/name}.
diff --git a/spec/rtems/config/if/get-maximum-regions.yml b/spec/rtems/config/if/get-maximum-regions.yml
index ad13bbcb..422882e2 100644
--- a/spec/rtems/config/if/get-maximum-regions.yml
+++ b/spec/rtems/config/if/get-maximum-regions.yml
@@ -20,8 +20,6 @@ links:
   uid: header-2
 - role: interface-ingroup
   uid: group
-- role: constraint
-  uid: /constraint/directive-not-pre-qualified
 name: rtems_configuration_get_maximum_regions
 notes: |
   See ${/acfg/if/max-regions:/name}.
diff --git a/spec/rtems/config/req/get-maximum-ports.yml b/spec/rtems/config/req/get-maximum-ports.yml
new file mode 100644
index 00000000..1eff71dc
--- /dev/null
+++ b/spec/rtems/config/req/get-maximum-ports.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: interface-function
+  uid: ../if/get-maximum-ports
+functional-type: function
+rationale: |
+  The directive may be used to check the setting of the
+  ${/acfg/if/max-ports:/name} application configuration option.
+references: []
+requirement-type: functional
+text: |
+  The ${../if/get-maximum-ports:/name} directive shall return the maximum
+  number of objects managed by the ${../../dpmem/if/group:/name} that can be
+  concurrently active.
+type: requirement
diff --git a/spec/rtems/config/req/get-maximum-regions.yml b/spec/rtems/config/req/get-maximum-regions.yml
new file mode 100644
index 00000000..2080b7bb
--- /dev/null
+++ b/spec/rtems/config/req/get-maximum-regions.yml
@@ -0,0 +1,18 @@
+SPDX-License-Identifier: CC-BY-SA-4.0
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+links:
+- role: interface-function
+  uid: ../if/get-maximum-regions
+functional-type: function
+rationale: |
+  The directive may be used to check the setting of the
+  ${/acfg/if/max-regions:/name} application configuration option.
+references: []
+requirement-type: functional
+text: |
+  The ${../if/get-maximum-regions:/name} directive shall return the maximum
+  number of objects managed by the ${../../region/if/group:/name} that can be
+  concurrently active.
+type: requirement