395 extern void *memmove(void *dst __sized_by(n), const void *src __sized_by(n), size_t n);
401 	void *const             dst __xnu_pass_object_size __sized_by(n),  in __sized_by()
404 __xnu_object_size_precondition(dst, n, "write overflow")  in __sized_by()
408 		void *dst __sized_by(n),  in __sized_by()
412 	__xnu_object_size_check(dst, n, write);  in __sized_by()
415 	return __builtin_memmove(dst, src, n);  in __sized_by()
417 	return __xnu_memmove(dst, src, n);  in __sized_by()
425 	void *const             dst __xnu_pass_struct_size __sized_by(n),  in __sized_by()
428 __xnu_struct_size_precondition(dst, n, "write overflow")  in __sized_by()
432 		void *dst __sized_by(n),  in __sized_by()
436 	__xnu_struct_size_check(dst, n, write);  in __sized_by()
439 	return __builtin_memmove(dst, src, n);  in __sized_by()
441 	return __xnu_memmove(dst, src, n);  in __sized_by()
446 extern void bcopy(const void *src __sized_by(n), void *dst __sized_by(n), size_t n);
452 	void *const             dst __xnu_pass_object_size __sized_by(n),  in bcopy()
454 __xnu_struct_size_precondition(dst, n, "write overflow")  in bcopy()
457 	(void)memmove(dst, src, n);  in bcopy()
464 	void *const             dst __xnu_pass_struct_size __sized_by(n),  in __nochk_bcopy()
466 __xnu_struct_size_precondition(dst, n, "write overflow")  in __nochk_bcopy()
469 	(void)__nochk_memmove(dst, src, n);  in __nochk_bcopy()
473 extern void *memcpy(void *dst __sized_by(n), const void *src __sized_by(n), size_t n);
479 	void *const             dst __xnu_pass_object_size __sized_by(n),  in __sized_by()
482 __xnu_struct_size_precondition(dst, n, "write overflow")  in __sized_by()
485 	return memmove(dst, src, n);  in __sized_by()
492 	void *const             dst __xnu_pass_struct_size __sized_by(n),  in __sized_by()
495 __xnu_struct_size_precondition(dst, n, "write overflow")  in __sized_by()
498 	return __nochk_memmove(dst, src, n);  in __sized_by()
746 extern size_t strlcpy(char *__counted_by(n) dst, const char *__null_terminated src, size_t n);
751 	char *const             dst __xnu_pass_member_size __counted_by(n),  in strlcpy()
754 __xnu_member_size_precondition(dst, n, "write overflow")  in strlcpy()
761 	__xnu_member_size_check(dst, n, write);  in strlcpy()
763 	return __builtin_strlcpy(dst, src, n);  in strlcpy()
765 	return __xnu_strlcpy(dst, src, n);  in strlcpy()
777 	char *__counted_by(dstsz) dst,
785 	char *const             dst __xnu_pass_member_size __counted_by(dstsz),  in strbufcpy()
789 __xnu_member_size_precondition(dst, dstsz, "write overflow")  in strbufcpy()
793 		char *__counted_by(dstsz) dst,  in strbufcpy()
798 	__xnu_member_size_check(dst, dstsz, write);  in strbufcpy()
800 	return __xnu_strbufcpy(dst, dstsz, src, srcsz);  in strbufcpy()
811 extern size_t strlcat(char *__counted_by(n) dst, const char *__null_terminated src, size_t n);
816 	char *const             dst __xnu_pass_member_size __counted_by(n),  in strlcat()
819 __xnu_member_size_precondition(dst, n, "write overflow")  in strlcat()
826 	__xnu_member_size_check(dst, n, write);  in strlcat()
828 	return __builtin_strlcat(dst, src, n);  in strlcat()
830 	return __xnu_strlcat(dst, src, n);  in strlcat()
842 	char *__counted_by(dstsz) dst,
850 	char *const             dst __xnu_pass_member_size __counted_by(dstsz),  in strbufcat()
854 __xnu_member_size_precondition(dst, dstsz, "write overflow")  in strbufcat()
858 		char *__counted_by(dstsz) dst,  in strbufcat()
863 	__xnu_member_size_check(dst, dstsz, write);  in strbufcat()
865 	return __xnu_strbufcat(dst, dstsz, src, srcsz);  in strbufcat()
891 extern char *strncat(char *dst, const char *src, size_t n);
893 #define strncat(dst, src, n)            __builtin___strncat_chk(dst, src, n, __xnu_member_size(dst))  argument
899 extern char *strncpy(char *dst, const char *src, size_t n);
901 #define strncpy(dst, src, n)            __builtin___strncpy_chk(dst, src, n, __xnu_member_size(dst))  argument
909 #define strcpy(dst, src, len)           __builtin___strcpy_chk(dst, src, __xnu_member_size(dst))  argument
914 extern char *strcat(char *dst, const char *src);
916 #define strcat(dst, src)                __builtin___strcat_chk(dst, src, __xnu_member_size(dst))  argument