add: TRACE(("put_death_stack...: passed %d\n", index));
context: put_death_stack_and_reschedule(unsigned int index){//	dprintf("put_death_stack...: passed %d\n", index);	if (index >= num_death_stacks)		panic("put_death_stack: passed invalid stack index %d\n", index);	if (!(death_stack_bitmap & (1 << index)))		panic("put_death_stack: passed invalid stack index %d\n", index);	disable_interrupts();	GRAB_THREAD_LOCK();	death_stack_bitmap &= ~(1 << index);	release_sem_etc(death_stack_sem, 1, B_DO_NOT_RESCHEDULE);	scheduler_reschedule();}