535 extern unsigned long clear_user_asm(void __user *mem, unsigned long len);
537 	void __user *mem, unsigned long len)  in __clear_user()  argument
540 	return clear_user_asm(mem, len);  in __clear_user()
543 	void __user *mem, unsigned long len)  in clear_user()  argument
545 	if (access_ok(VERIFY_WRITE, mem, len))  in clear_user()
546 		return __clear_user(mem, len);  in clear_user()
558 extern unsigned long flush_user_asm(void __user *mem, unsigned long len);
560 	void __user *mem, unsigned long len)  in __flush_user()  argument
565 	retval = flush_user_asm(mem, len);  in __flush_user()
571 	void __user *mem, unsigned long len)  in flush_user()  argument
573 	if (access_ok(VERIFY_WRITE, mem, len))  in flush_user()
574 		return __flush_user(mem, len);  in flush_user()
586 extern unsigned long finv_user_asm(void __user *mem, unsigned long len);
588 	void __user *mem, unsigned long len)  in __finv_user()  argument
593 	retval = finv_user_asm(mem, len);  in __finv_user()
598 	void __user *mem, unsigned long len)  in finv_user()  argument
600 	if (access_ok(VERIFY_WRITE, mem, len))  in finv_user()
601 		return __finv_user(mem, len);  in finv_user()