tag	line	file	source code
useraddr	1878	drivers/block/ide.c	static int write_fs_long (unsigned long useraddr, long value)
useraddr	1882	drivers/block/ide.c	if (NULL == (long *)useraddr)
useraddr	1884	drivers/block/ide.c	if ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
useraddr	1886	drivers/block/ide.c	put_user((unsigned)value, (long *) useraddr);