[PATCH] use smp_mb/wmb/rmb where possible
[linux-2.6.git] / kernel / timer.c
index ecb3d67..207aa4f 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;