+// Assumes: my_cap is owned by the current Task. We hold
+// other_cap->lock, but we do not necessarily own other_cap; another
+// Task may be running on it.
+INLINE_HEADER void
+appendToWakeupQueue (Capability *my_cap, Capability *other_cap, StgTSO *tso)