- printf("There are %d interrupt contexts.\n", free);
- printf("printing context %d\n", free - 1);
- print_context(thread->interrupt_contexts[free - 1]);
+ printf("There are %d interrupt contexts.\n", free_ici);
+ printf("printing context %d\n", free_ici - 1);
+ print_context(thread->interrupt_contexts[free_ici - 1]);