[PATCH] use smp_mb/wmb/rmb where possible
[linux-3.10.git] / kernel / timer.c
index ecb3d67c0e14913e7aa9fe3f754176d8a4fa88f5..207aa4f0aa10b741373b5863d48bd2c183564270 100644 (file)
@@ -1007,7 +1007,7 @@ asmlinkage long sys_getppid(void)
                 * Make sure we read the pid before re-reading the
                 * parent pointer:
                 */
-               rmb();
+               smp_rmb();
                parent = me->group_leader->real_parent;
                if (old != parent)
                        continue;