rem: static void put_death_stack_and_reschedule(unsigned int index)
add: put_death_stack_and_reschedule(unsigned int index)
context: static void 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);	resched();}