wake_up(&sp->current_command->wait); command_put(sp->current_command); 
dbg("%s:%d at %s\n", __FUNCTION__, __LINE__, get_timestamp(tsbuf)); 
static void exec_next_command(struct service_processor *sp){	unsigned long flags;	wake_up(&sp->current_command->wait);	command_put(sp->current_command);	spin_lock_irqsave(&sp->lock, flags);	sp->current_command = dequeue_command(sp);	if (sp->current_command) {		command_get(sp->current_command);		spin_unlock_irqrestore(&sp->lock, flags);		do_exec_command(sp);	} else {		spin_unlock_irqrestore(&sp->lock, flags);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8818760512424f60ad9fafb7a087b007a9274eb3/command.c/buggy/drivers/misc/ibmasm/command.c