diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-03 07:47:06 +0100 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-04 13:32:33 +0100 |
| commit | 8cd472ec9d60cff432af48c925dea8bbb652a574 (patch) | |
| tree | 9a4f7f419b96895402f439b1d2a99e6f25de01dd /spec/rtems/intr/if/server-request-destroy.yml | |
| parent | spec: Move scheduler API to own header (diff) | |
| download | rtems-central-8cd472ec9d60cff432af48c925dea8bbb652a574.tar.bz2 | |
spec: Move Interrupt Manager directives
Diffstat (limited to 'spec/rtems/intr/if/server-request-destroy.yml')
| -rw-r--r-- | spec/rtems/intr/if/server-request-destroy.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/rtems/intr/if/server-request-destroy.yml b/spec/rtems/intr/if/server-request-destroy.yml index 4c594abf..72bdda28 100644 --- a/spec/rtems/intr/if/server-request-destroy.yml +++ b/spec/rtems/intr/if/server-request-destroy.yml @@ -18,7 +18,7 @@ index-entries: [] interface-type: function links: - role: interface-placement - uid: header-2 + uid: header - role: interface-ingroup uid: group - role: constraint |