extern inline int verify_area(int type, const void * addr, unsigned long size) 
static inline int verify_area(int type, const void * addr, unsigned long size) 
extern inline int verify_area(int type, const void * addr, unsigned long size){	return access_ok(type,addr,size) ? 0 : -EFAULT;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d99cf715a0751b0c819cdd8616c8870c1dd51910/uaccess.h/buggy/include/asm-xtensa/uaccess.h