lives_below_in_same_fs(struct dentry *d, struct dentry *dentry) 
static int lives_below_in_same_fs(struct dentry *d, struct dentry *dentry) 
lives_below_in_same_fs(struct dentry *d, struct dentry *dentry){	while (1) {		if (d == dentry)			return 1;		if (d == NULL || d == d->d_parent)			return 0;		d = d->d_parent;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b58fed8b1959d6b9e4c951a54adc8960e1401b18/namespace.c/buggy/fs/namespace.c