tag	line	file	source code
__verify_write	12	include/linux/mm.h	int __verify_write(unsigned long addr, unsigned long count);
__verify_write	22	include/linux/mm.h	return __verify_write((unsigned long) addr,size);