495 extern unsigned long clear_user_asm(void __user *mem, unsigned long len);
497 	void __user *mem, unsigned long len)  in __clear_user()  argument
500 	return clear_user_asm(mem, len);  in __clear_user()
503 	void __user *mem, unsigned long len)  in clear_user()  argument
505 	if (access_ok(VERIFY_WRITE, mem, len))  in clear_user()
506 		return __clear_user(mem, len);  in clear_user()
518 extern unsigned long flush_user_asm(void __user *mem, unsigned long len);
520 	void __user *mem, unsigned long len)  in __flush_user()  argument
525 	retval = flush_user_asm(mem, len);  in __flush_user()
531 	void __user *mem, unsigned long len)  in flush_user()  argument
533 	if (access_ok(VERIFY_WRITE, mem, len))  in flush_user()
534 		return __flush_user(mem, len);  in flush_user()
546 extern unsigned long finv_user_asm(void __user *mem, unsigned long len);
548 	void __user *mem, unsigned long len)  in __finv_user()  argument
553 	retval = finv_user_asm(mem, len);  in __finv_user()
558 	void __user *mem, unsigned long len)  in finv_user()  argument
560 	if (access_ok(VERIFY_WRITE, mem, len))  in finv_user()
561 		return __finv_user(mem, len);  in finv_user()