1 files changed, 5 insertions, 2 deletions

diff --git a/litmus/budget.c b/litmus/budget.c
index dd5f311c8b4a..4f692fd4a103 100644
--- a/litmus/budget.c
+++ b/litmus/budget.c
@@ -318,8 +318,11 @@ void sobliv_revaluate_task(struct task_struct* t)
                            "CONFIG_LITMUS_NESTED_LOCKING enabled.\n");
 #endif
 
-        /* TODO: If we hold an OMLP-family outmost lock, then we may
-         * need to move a task into a fifo queue */
+        /* Move a waiter onto a FIFO queue to simulate an unlock call. */
+        if (tsk_rt(t)->outermost_lock &&
+                tsk_rt(t)->outermost_lock->ops->is_omlp_family) {
+                tsk_rt(t)->outermost_lock->ops->omlp_virtual_unlock(tsk_rt(t)->outermost_lock, t);
+        }
 }