diff --git a/kernel/futex.c b/kernel/futex.c index 815d7af2ffe8c6b195e729625ef5bfecb399accb..f3a3a071283cea232512370c2b9f5c87a0b440bf 100644 --- a/kernel/futex.c +++ b/kernel/futex.c @@ -343,6 +343,8 @@ static void get_futex_key_refs(union futex_key *key) case FUT_OFF_MMSHARED: futex_get_mm(key); /* implies MB (B) */ break; + default: + smp_mb(); /* explicit MB (B) */ } }