edd: add default mode CONFIG_EDD_OFF=n, override with edd={on,off}
[pandora-kernel.git] / include / linux / futex.h
index 90048fb..586ab56 100644 (file)
@@ -167,6 +167,7 @@ union futex_key {
 #ifdef CONFIG_FUTEX
 extern void exit_robust_list(struct task_struct *curr);
 extern void exit_pi_state_list(struct task_struct *curr);
+extern int futex_cmpxchg_enabled;
 #else
 static inline void exit_robust_list(struct task_struct *curr)
 {