diff options
Diffstat (limited to 'rts/Capability.h')
| -rw-r--r-- | rts/Capability.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/Capability.h b/rts/Capability.h index 78b7b6f083..ba19e3130d 100644 --- a/rts/Capability.h +++ b/rts/Capability.h @@ -386,6 +386,8 @@ void markCapabilities (evac_fn evac, void *user); void traverseSparkQueues (evac_fn evac, void *user); +#define TASK_OWNS_CAPABILITY(task, cap) task_owns_capability + WARD_GRANT(capability_lock_held) INLINE_HEADER void acquire_capability_lock(Capability *cap) { |