#ifdef PRINTNOISE
printf("Scavenging interrupt contexts ...\n");
#endif
- scavenge_interrupt_contexts();
+ scavenge_interrupt_contexts(th);
#ifdef PRINTNOISE
printf("Scavenging interrupt handlers (%d bytes) ...\n",
#endif
}
-void scavenge_interrupt_contexts(void)
+void scavenge_interrupt_contexts(struct thread *th)
{
int i, index;
os_context_t *context;
- struct thread *th=arch_os_get_current_thread();
-
index = fixnum_value(SymbolValue(FREE_INTERRUPT_CONTEXT_INDEX,0));