tag	line	file	source code
useraddr	1500	drivers/block/ide.c	static int write_fs_long (unsigned long useraddr, long value)
useraddr	1504	drivers/block/ide.c	if (NULL == (long *)useraddr)
useraddr	1506	drivers/block/ide.c	if ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
useraddr	1508	drivers/block/ide.c	put_fs_long((unsigned)value, (long *) useraddr);