tag	line	file	source code
useraddr	1392	drivers/block/ide.c	static int write_fs_long (unsigned long useraddr, long value)
useraddr	1396	drivers/block/ide.c	if (NULL == (long *)useraddr)
useraddr	1398	drivers/block/ide.c	if ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
useraddr	1400	drivers/block/ide.c	put_fs_long((unsigned)value, (long *) useraddr);