+#: build/C/man7/futex.7:71
+#, fuzzy
+#| msgid ""
+#| "In the contended case, the atomic increment changed the counter from -1 "
+#| "(or some other negative number). If this is detected, there are "
+#| "waiters. Userspace should now set the counter to 1 and instruct the "
+#| "kernel to wake up any waiters using the B<FUTEX_WAKE> operation."