|
@@ -250,7 +250,7 @@
|
|
|
#define _STARPU_FUT_KEYMASK_SCHED FUT_KEYMASK10
|
|
#define _STARPU_FUT_KEYMASK_SCHED FUT_KEYMASK10
|
|
|
#define _STARPU_FUT_KEYMASK_SCHED_VERBOSE FUT_KEYMASK11
|
|
#define _STARPU_FUT_KEYMASK_SCHED_VERBOSE FUT_KEYMASK11
|
|
|
#define _STARPU_FUT_KEYMASK_LOCK FUT_KEYMASK12
|
|
#define _STARPU_FUT_KEYMASK_LOCK FUT_KEYMASK12
|
|
|
-#define _STARPU_FUT_KEYMASK_LOCKVERBOSE FUT_KEYMASK13
|
|
|
|
|
|
|
+#define _STARPU_FUT_KEYMASK_LOCK_VERBOSE FUT_KEYMASK13
|
|
|
#define _STARPU_FUT_KEYMASK_EVENT FUT_KEYMASK14
|
|
#define _STARPU_FUT_KEYMASK_EVENT FUT_KEYMASK14
|
|
|
#define _STARPU_FUT_KEYMASK_EVENT_VERBOSE FUT_KEYMASK15
|
|
#define _STARPU_FUT_KEYMASK_EVENT_VERBOSE FUT_KEYMASK15
|
|
|
#define _STARPU_FUT_KEYMASK_MPI FUT_KEYMASK16
|
|
#define _STARPU_FUT_KEYMASK_MPI FUT_KEYMASK16
|
