extern inline long strnlen_user(const char *str, long len) 
static inline long strnlen_user(const char *str, long len) 
extern inline long strnlen_user(const char *str, long len){	unsigned long top = __kernel_ok ? ~0UL : TASK_SIZE - 1;	if ((unsigned long)str > top)		return 0;	return __strnlen_user(str, len);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/uaccess.h/buggy/include/asm-xtensa/uaccess.h