Module: xenomai-jki
Branch: for-forge
Commit: 43a20e1256db84357891e61275dcc3f28716747d
URL:    
http://git.xenomai.org/?p=xenomai-jki.git;a=commit;h=43a20e1256db84357891e61275dcc3f28716747d

Author: Jan Kiszka <jan.kis...@siemens.com>
Date:   Tue Jun  9 17:24:18 2015 +0200

cobalt/synch: Remove bogus XENO_BUG_ON

xnsynch_requeue_sleeper is valid for threads that block on owner-free
synch objects. There is a check that catches this case and skips the
owner-related part of the function. Thus remove the XENO_BUG_ON.

Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>

---

 kernel/cobalt/synch.c |    2 --
 1 file changed, 2 deletions(-)

diff --git a/kernel/cobalt/synch.c b/kernel/cobalt/synch.c
index b948e88..536e0a7 100644
--- a/kernel/cobalt/synch.c
+++ b/kernel/cobalt/synch.c
@@ -693,8 +693,6 @@ void xnsynch_requeue_sleeper(struct xnthread *thread)
        if ((synch->status & XNSYNCH_PRIO) == 0)
                return;
 
-       XENO_BUG_ON(COBALT, (synch->status & XNSYNCH_OWNER) == 0);
-
        list_del(&thread->plink);
        list_add_priff(thread, &synch->pendq, wprio, plink);
        owner = synch->owner;


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://xenomai.org/mailman/listinfo/xenomai-git

Reply via email to