diff options
Diffstat (limited to 'spec/rtems/intr/req/entry-install.yml')
| -rw-r--r-- | spec/rtems/intr/req/entry-install.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/spec/rtems/intr/req/entry-install.yml b/spec/rtems/intr/req/entry-install.yml index 810a8c0b..155eda7c 100644 --- a/spec/rtems/intr/req/entry-install.yml +++ b/spec/rtems/intr/req/entry-install.yml @@ -6,6 +6,12 @@ functional-type: action links: - role: interface-function uid: ../if/entry-install +- role: interface-function + uid: ../if/replace +- role: interface-function + uid: ../if/shared +- role: interface-function + uid: ../if/unique post-conditions: - name: Status states: |