extern inline int access_ok (int type, const void *addr, unsigned long size) 
static inline int access_ok (int type, const void *addr, unsigned long size) 
extern inline int access_ok (int type, const void *addr, unsigned long size){	/* XXX I guess we should check against real ram bounds at least, and	   possibly make sure ADDR is not within the kernel.	   For now we just check to make sure it's not a small positive	   or negative value, as that will at least catch some kinds of	   error.  In particular, we make sure that ADDR's not within the	   interrupt vector area, which we know starts at zero, or within the	   peripheral-I/O area, which is located just _before_ zero.  */	unsigned long val = (unsigned long)addr;	return val >= (0x80 + NUM_CPU_IRQS*16) && val < 0xFFFFF000;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/23f88fe4bffe01a0d29326789cb5813cd6f8158e/uaccess.h/buggy/include/asm-v850/uaccess.h