if (atomic_read(&undo_list->refcnt) == 1) spin_lock_init(&undo_list->lock); 
int copy_semundo(unsigned long clone_flags, struct task_struct *tsk){	struct sem_undo_list *undo_list;	int error;	if (clone_flags & CLONE_SYSVSEM) {		error = get_undo_list(&undo_list);		if (error)			return error;		if (atomic_read(&undo_list->refcnt) == 1)			spin_lock_init(&undo_list->lock);		atomic_inc(&undo_list->refcnt);		tsk->sysvsem.undo_list = undo_list;	} else 		tsk->sysvsem.undo_list = NULL;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/00a5dfdb93f74e4d95fb0d83c890728e331f8810/sem.c/buggy/ipc/sem.c