diff options
Diffstat (limited to 'spec/rtems/intr/if/server-action-prepend.yml')
-rw-r--r-- | spec/rtems/intr/if/server-action-prepend.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/intr/if/server-action-prepend.yml b/spec/rtems/intr/if/server-action-prepend.yml index ec1f2f09..53a2a09c 100644 --- a/spec/rtems/intr/if/server-action-prepend.yml +++ b/spec/rtems/intr/if/server-action-prepend.yml @@ -25,6 +25,8 @@ links: - role: interface-ingroup uid: group - role: constraint + uid: /constraint/directive-not-pre-qualified +- role: constraint uid: /constraint/directive-ctx-isr - role: constraint uid: /constraint/directive-ctx-devinit @@ -42,8 +44,6 @@ links: uid: ../constraint/server-entry-not-while-submit - role: constraint uid: ../constraint/server-entry-not-while-pending -- role: constraint - uid: /constraint/directive-not-pre-qualified name: rtems_interrupt_server_action_prepend notes: | No error checking is performed by the directive. |