[rtems-central commit] spec: Fix futex specification

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    861f3adb0fd355e51f259fd987287d8a040da126
Changeset: http://git.rtems.org/rtems-central/commit/?id=861f3adb0fd355e51f259fd987287d8a040da126

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Wed Sep 15 10:58:09 2021 +0200

spec: Fix futex specification

---

 spec/score/futex/req/wait.yml | 2 +-
 spec/score/futex/req/wake.yml | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/spec/score/futex/req/wait.yml b/spec/score/futex/req/wait.yml
index 190e134..0f06eee 100644
--- a/spec/score/futex/req/wait.yml
+++ b/spec/score/futex/req/wait.yml
@@ -5,7 +5,7 @@ enabled-by: true
 functional-type: action
 links:
 - role: interface-function
-  uid: ../if/wake
+  uid: ../if/wait
 post-conditions:
 - name: Result
   states:
diff --git a/spec/score/futex/req/wake.yml b/spec/score/futex/req/wake.yml
index 8760477..aac9ad3 100644
--- a/spec/score/futex/req/wake.yml
+++ b/spec/score/futex/req/wake.yml
@@ -6,6 +6,8 @@ functional-type: action
 links:
 - role: interface-function
   uid: ../if/wake
+- role: validation
+  uid: ../../tq/req/flush-filter-stop
 post-conditions:
 - name: Result
   states: