Module: xenomai-gch
Branch: next
Commit: 22f6df8d4fcb9edda5edf3024c548206212a4218
URL:    
http://git.xenomai.org/?p=xenomai-gch.git;a=commit;h=22f6df8d4fcb9edda5edf3024c548206212a4218

Author: Gilles Chanteperdrix <gilles.chanteperd...@xenomai.org>
Date:   Fri Nov 20 14:51:25 2015 +0100

cobalt/arm: remove redundant change of irq mask

xnarch_handle_fpu_fault is called with head domain stalled,
xnlock_get/xnlock_put are sufficient.

---

 kernel/cobalt/arch/arm/thread.c |    6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/kernel/cobalt/arch/arm/thread.c b/kernel/cobalt/arch/arm/thread.c
index e13fb63..7e2b7cf 100644
--- a/kernel/cobalt/arch/arm/thread.c
+++ b/kernel/cobalt/arch/arm/thread.c
@@ -270,8 +270,6 @@ void xnarch_switch_fpu(struct xnthread *from, struct 
xnthread *to)
 int xnarch_handle_fpu_fault(struct xnthread *from, 
                        struct xnthread *to, struct ipipe_trap_data *d)
 {
-       spl_t s;
-
        if (xnthread_test_state(to, XNFPU))
                /* FPU is already enabled, probably an exception */
                return 0;
@@ -283,9 +281,9 @@ int xnarch_handle_fpu_fault(struct xnthread *from,
                return 0;
 #endif
 
-       xnlock_get_irqsave(&nklock, s);
+       xnlock_get(&nklock);
        xnthread_set_state(to, XNFPU);
-       xnlock_put_irqrestore(&nklock, s);
+       xnlock_put(&nklock);
 
        xnarch_switch_fpu(from, to);
 


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

Reply via email to