static inline int __deprecated verify_area_skas(int type, const void * addr, unsigned long size) 
static inline int verify_area_skas(int type, const void * addr, unsigned long size) 
static inline int __deprecated verify_area_skas(int type, const void * addr,				   unsigned long size){	return(access_ok_skas(type, addr, size) ? 0 : -EFAULT);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f2a0f8b9301ca34034c4a2ec09a09ff4677e83dd/uaccess-skas.h/buggy/arch/um/kernel/skas/include/uaccess-skas.h