if ((undo_list != NULL) && (atomic_read(&undo_list->refcnt) != 1)) 
if (undo_list) 
static inline void unlock_semundo(void){	struct sem_undo_list *undo_list;	undo_list = current->sysvsem.undo_list;	if ((undo_list != NULL) && (atomic_read(&undo_list->refcnt) != 1))		spin_unlock(&undo_list->lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/00a5dfdb93f74e4d95fb0d83c890728e331f8810/sem.c/clean/ipc/sem.c