diff options
Diffstat (limited to 'spec/rtems/sem/req/flush.yml')
-rw-r--r-- | spec/rtems/sem/req/flush.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/spec/rtems/sem/req/flush.yml b/spec/rtems/sem/req/flush.yml index 1c6a3968..b2f49433 100644 --- a/spec/rtems/sem/req/flush.yml +++ b/spec/rtems/sem/req/flush.yml @@ -6,6 +6,12 @@ functional-type: action links: - role: interface-function uid: ../if/flush +- role: function-implementation + uid: /score/tq/req/flush-fifo +- role: function-implementation + uid: /score/tq/req/flush-priority +- role: function-implementation + uid: /score/tq/req/flush-priority-inherit post-conditions: - name: Action states: |