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;}