#ifdef CONFIG_SMP 
#if defined(CONFIG_SMP) || defined(CONFIG_PREEMPT) 
asmlinkage long sys_getppid(void){	int pid;	struct task_struct *me = current;	struct task_struct *parent;	parent = me->group_leader->real_parent;	for (;;) {		pid = parent->tgid;#ifdef CONFIG_SMP{		struct task_struct *old = parent;		/*		 * Make sure we read the pid before re-reading the		 * parent pointer:		 */		smp_rmb();		parent = me->group_leader->real_parent;		if (old != parent)			continue;}#endif		break;	}	return pid;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4c5640cb5f5a6fd780d99397eca028b575cb1206/timer.c/buggy/kernel/timer.c