diff options
Diffstat (limited to 'spec/rtems/intr/if/server-request-destroy.yml')
| -rw-r--r-- | spec/rtems/intr/if/server-request-destroy.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/intr/if/server-request-destroy.yml b/spec/rtems/intr/if/server-request-destroy.yml index b997a0e9..4c594abf 100644 --- a/spec/rtems/intr/if/server-request-destroy.yml +++ b/spec/rtems/intr/if/server-request-destroy.yml @@ -22,6 +22,8 @@ links: - role: interface-ingroup uid: group - role: constraint + uid: /constraint/directive-not-pre-qualified +- role: constraint uid: /constraint/directive-ctx-task - role: constraint uid: ../constraint/not-within-server @@ -29,8 +31,6 @@ links: uid: /constraint/request-response - role: constraint uid: ../constraint/server-request-initialized -- role: constraint - uid: /constraint/directive-not-pre-qualified name: rtems_interrupt_server_request_destroy notes: | No error checking is performed by the directive. |