diff options
Diffstat (limited to 'spec/rtems/intr/if/server-entry-move.yml')
-rw-r--r-- | spec/rtems/intr/if/server-entry-move.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/rtems/intr/if/server-entry-move.yml b/spec/rtems/intr/if/server-entry-move.yml index f9972da2..a5212ee3 100644 --- a/spec/rtems/intr/if/server-entry-move.yml +++ b/spec/rtems/intr/if/server-entry-move.yml @@ -37,6 +37,8 @@ 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_entry_move notes: null params: |