779 	const char *__counted_by(srcsz) src,
780 	size_t srcsz);
787 	const char *const       src __xnu_pass_member_size __counted_by(srcsz),  in strbufcpy()  argument
788 	size_t                  srcsz)  in strbufcpy()  argument
790 __xnu_member_size_precondition(src, srcsz, "read overflow")  in strbufcpy()
795 		const char *__counted_by(srcsz) src,  in strbufcpy()
796 		size_t srcsz) __asm("_strbufcpy");  in strbufcpy()
799 	__xnu_member_size_check(src, srcsz, read);  in strbufcpy()
800 	return __xnu_strbufcpy(dst, dstsz, src, srcsz);  in strbufcpy()
844 	const char *__counted_by(srcsz) src,
845 	size_t srcsz);
852 	const char *const       src __xnu_pass_member_size __counted_by(srcsz),  in strbufcat()  argument
853 	size_t                  srcsz)  in strbufcat()  argument
855 __xnu_member_size_precondition(src, srcsz, "read overflow")  in strbufcat()
860 		const char *__counted_by(srcsz) src,  in strbufcat()
861 		size_t srcsz) __asm("_strbufcat");  in strbufcat()
864 	__xnu_member_size_check(src, srcsz, read);  in strbufcat()
865 	return __xnu_strbufcat(dst, dstsz, src, srcsz);  in strbufcat()