tso = sleeping_queue;
sleeping_queue = tso->link;
tso->why_blocked = NotBlocked;
tso->link = END_TSO_QUEUE;
tso = sleeping_queue;
sleeping_queue = tso->link;
tso->why_blocked = NotBlocked;
tso->link = END_TSO_QUEUE;
// MainCapability: this code is !THREADED_RTS
pushOnRunQueue(&MainCapability,tso);
flag = rtsTrue;
// MainCapability: this code is !THREADED_RTS
pushOnRunQueue(&MainCapability,tso);
flag = rtsTrue;
tso->why_blocked = NotBlocked;
tso->link = END_TSO_QUEUE;
pushOnRunQueue(&MainCapability,tso);
tso->why_blocked = NotBlocked;
tso->link = END_TSO_QUEUE;
pushOnRunQueue(&MainCapability,tso);