spec: Add interrupt manager extension

1 files changed, 43 insertions, 0 deletions

diff --git a/spec/rtems/intr/if/server-request-destroy.yml b/spec/rtems/intr/if/server-request-destroy.yml
new file mode 100644
index 00000000..800d8e84
--- /dev/null
+++ b/spec/rtems/intr/if/server-request-destroy.yml
@@ -0,0 +1,43 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+brief: |
+  Destroys the interrupt server request.
+copyrights:
+- Copyright (C) 2017, 2021 embedded brains GmbH (http://www.embedded-brains.de)
+definition:
+  default:
+    attributes: null
+    body: |
+      ${server-entry-destroy:/name}( &${.:/params[0]/name}->entry );
+    params:
+    - ${server-request:/name} *${.:/params[0]/name}
+    return: void
+  variants: []
+description: null
+enabled-by: true
+index-entries: []
+interface-type: function
+links:
+- role: interface-placement
+  uid: header-2
+- role: interface-ingroup
+  uid: group
+- role: constraint
+  uid: /constraint/directive-ctx-task
+- role: constraint
+  uid: ../constraint/not-within-server
+- role: constraint
+  uid: /constraint/request-response
+- role: constraint
+  uid: ../constraint/server-request-initialized
+name: rtems_interrupt_server_request_destroy
+notes: |
+  No error checking is performed by the directive.
+params:
+- description: |
+    is the interrupt server request to destroy.
+  dir: inout
+  name: request
+return:
+  return: null
+  return-values: []
+type: interface