Use timer_create() for the interval timer, if available
[ghc-hetmet.git] / rts / Threads.h
2006-06-16 Simon MarlowAsynchronous exception support for SMP