static inline int __deprecated verify_area_tt(int type, const void * addr, unsigned long size)
static inline int verify_area_tt(int type, const void * addr, unsigned long size)
static inline int __deprecated verify_area_tt(int type, const void * addr,				 unsigned long size){	return(access_ok_tt(type, addr, size) ? 0 : -EFAULT);}