unsigned long mask = PAGE_SIZE * (1 << CONFIG_KERNEL_STACK_ORDER) - 1; ti = (struct thread_info *) (((unsigned long) &ti) & ~mask); 
unsigned long mask = THREAD_SIZE - 1; ti = (struct thread_info *) (((unsigned long) &ti) & ~mask); 
static inline struct thread_info *current_thread_info(void){	struct thread_info *ti;	unsigned long mask = PAGE_SIZE *		(1 << CONFIG_KERNEL_STACK_ORDER) - 1;        ti = (struct thread_info *) (((unsigned long) &ti) & ~mask);	return ti;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b3461034d7d46455060c8476910be22b6b0fc313/thread_info.h/buggy/include/asm-um/thread_info.h