810 	const char *__counted_by(srcsz) src,
811 	size_t srcsz);
818 	const char *const       src __xnu_pass_member_size __counted_by(srcsz),  in strbufcpy()  argument
819 	size_t                  srcsz)  in strbufcpy()  argument
821 __xnu_member_size_precondition(src, srcsz, "read overflow")  in strbufcpy()
826 		const char *__counted_by(srcsz) src,  in strbufcpy()
827 		size_t srcsz) __asm("_strbufcpy");  in strbufcpy()
830 	__xnu_member_size_check(src, srcsz, read);  in strbufcpy()
831 	return __xnu_strbufcpy(dst, dstsz, src, srcsz);  in strbufcpy()
875 	const char *__counted_by(srcsz) src,
876 	size_t srcsz);
883 	const char *const       src __xnu_pass_member_size __counted_by(srcsz),  in strbufcat()  argument
884 	size_t                  srcsz)  in strbufcat()  argument
886 __xnu_member_size_precondition(src, srcsz, "read overflow")  in strbufcat()
891 		const char *__counted_by(srcsz) src,  in strbufcat()
892 		size_t srcsz) __asm("_strbufcat");  in strbufcat()
895 	__xnu_member_size_check(src, srcsz, read);  in strbufcat()
896 	return __xnu_strbufcat(dst, dstsz, src, srcsz);  in strbufcat()