[PATCH] use smp_mb/wmb/rmb where possible
[linux-3.10.git] / ipc / mqueue.c
index cb0cd3cf3b5a5d6c8b8c39f074d01a2b77ce58db..33f71520b89c55610b6fb34b2834a5b061efa6c1 100644 (file)
@@ -767,7 +767,7 @@ static inline void pipelined_send(struct mqueue_inode_info *info,
        list_del(&receiver->list);
        receiver->state = STATE_PENDING;
        wake_up_process(receiver->task);
-       wmb();
+       smp_wmb();
        receiver->state = STATE_READY;
 }
 
@@ -786,7 +786,7 @@ static inline void pipelined_receive(struct mqueue_inode_info *info)
        list_del(&sender->list);
        sender->state = STATE_PENDING;
        wake_up_process(sender->task);
-       wmb();
+       smp_wmb();
        sender->state = STATE_READY;
 }