spec: Remove always enabled interrupt attribute

7 files changed, 5 insertions, 28 deletions

diff --git a/spec/rtems/intr/if/attributes.yml b/spec/rtems/intr/if/attributes.yml
index d47470d6..f162aa60 100644
--- a/spec/rtems/intr/if/attributes.yml
+++ b/spec/rtems/intr/if/attributes.yml
@@ -17,17 +17,6 @@ definition:
   variants: []
 - default:
     brief: |
-      This member is true, if the interrupt vector is always enabled, otherwise
-      it is false.
-    definition: bool ${.:name}
-    description: |
-      For an always enabled interrupt vector it follows that it can be enabled
-      and that it cannot be disabled.
-    kind: member
-    name: always_enabled
-  variants: []
-- default:
-    brief: |
       This member is true, if the interrupt vector can be enabled by
       ${vector-enable:/name}, otherwise it is false.
     definition: bool ${.:name}
diff --git a/spec/rtems/intr/req/clear.yml b/spec/rtems/intr/req/clear.yml
index 41a34522..065f3522 100644
--- a/spec/rtems/intr/req/clear.yml
+++ b/spec/rtems/intr/req/clear.yml
@@ -274,7 +274,7 @@ test-support: |
        * If there is already an interrupt pending, then it is probably cleard
        * by a peripheral which we cannot control.
        */
-    } else if ( attr->always_enabled || attr->can_disable ) {
+    } else if ( attr->can_disable ) {
       rtems_interrupt_entry entry;
       rtems_interrupt_level level;
 
diff --git a/spec/rtems/intr/req/get-attributes.yml b/spec/rtems/intr/req/get-attributes.yml
index 687c2f7b..dd4fbe97 100644
--- a/spec/rtems/intr/req/get-attributes.yml
+++ b/spec/rtems/intr/req/get-attributes.yml
@@ -114,12 +114,6 @@ test-action: |
       T_rsc_success( sc );
       ctx->status = sc;
 
-      if ( ctx->attributes_obj.always_enabled ) {
-        T_true( ctx->attributes_obj.can_enable );
-        T_true( ctx->attributes_obj.maybe_enable );
-        T_false( ctx->attributes_obj.can_disable );
-      }
-
       if ( ctx->attributes_obj.can_enable ) {
         T_true( ctx->attributes_obj.maybe_enable );
       }
diff --git a/spec/rtems/intr/req/is-pending.yml b/spec/rtems/intr/req/is-pending.yml
index 7930313b..7f4b8870 100644
--- a/spec/rtems/intr/req/is-pending.yml
+++ b/spec/rtems/intr/req/is-pending.yml
@@ -285,8 +285,7 @@ test-support: |
       /* We can only safely test maskable interrupts */
       T_false( IsPending( ctx ) );
     } else if (
-      ( attr->always_enabled || attr->can_disable ) &&
-      ( attr->can_clear || attr->cleared_by_acknowledge )
+      attr->can_disable && ( attr->can_clear || attr->cleared_by_acknowledge )
     ) {
       rtems_interrupt_entry entry;
       rtems_interrupt_level level;
diff --git a/spec/rtems/intr/req/raise-on.yml b/spec/rtems/intr/req/raise-on.yml
index 8de673ee..d4ebed1e 100644
--- a/spec/rtems/intr/req/raise-on.yml
+++ b/spec/rtems/intr/req/raise-on.yml
@@ -327,8 +327,7 @@ test-support: |
        * by a peripheral which we cannot control.
        */
     } else if (
-      ( attr->always_enabled || attr->can_disable ) &&
-      ( attr->can_clear || attr->cleared_by_acknowledge )
+      attr->can_disable && ( attr->can_clear || attr->cleared_by_acknowledge )
     ) {
       rtems_interrupt_entry entry;
       rtems_interrupt_level level;
diff --git a/spec/rtems/intr/req/raise.yml b/spec/rtems/intr/req/raise.yml
index 70ba3a6a..f3540f16 100644
--- a/spec/rtems/intr/req/raise.yml
+++ b/spec/rtems/intr/req/raise.yml
@@ -266,8 +266,7 @@ test-support: |
        * by a peripheral which we cannot control.
        */
     } else if (
-      ( attr->always_enabled || attr->can_disable ) &&
-      ( attr->can_clear || attr->cleared_by_acknowledge )
+      attr->can_disable && ( attr->can_clear || attr->cleared_by_acknowledge )
     ) {
       rtems_interrupt_entry entry;
       rtems_interrupt_level level;
diff --git a/spec/rtems/intr/req/vector-enable.yml b/spec/rtems/intr/req/vector-enable.yml
index 35da5635..95cd7404 100644
--- a/spec/rtems/intr/req/vector-enable.yml
+++ b/spec/rtems/intr/req/vector-enable.yml
@@ -291,10 +291,7 @@ test-support: |
 
       Enable( ctx );
       T_true( IsEnabled( ctx ) );
-    } else if (
-      attr->is_maskable && attr->maybe_enable &&
-      ( attr->always_enabled || attr->can_disable )
-    ) {
+    } else if ( attr->is_maskable && attr->can_disable ) {
       rtems_interrupt_entry entry;
       bool                  enabled;