* that has an associated thread).
*/
void postSchedEvent(Capability *cap, EventTypeNum tag,
* that has an associated thread).
*/
void postSchedEvent(Capability *cap, EventTypeNum tag,
INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED,
StgThreadID id STG_UNUSED,
INLINE_HEADER void postSchedEvent (Capability *cap STG_UNUSED,
EventTypeNum tag STG_UNUSED,
StgThreadID id STG_UNUSED,