-
Simon Marlow authored
unpark_tso: call unblockOne() instead of doing the job inline. This properly migrates the thread, setting its task to point back to the right capability, if necessary.
02019841
unpark_tso: call unblockOne() instead of doing the job inline. This properly migrates the thread, setting its task to point back to the right capability, if necessary.