598 …r *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2len)s2, size_t s2len) __statefu…
604 	const char *const __counted_by(s2len) s2 __xnu_pass_member_size, size_t s2len)  in strbufcmp()  argument
606 __xnu_member_size_precondition(s2, s2len, "read overflow")  in strbufcmp()
611 		const char *__counted_by(s2len) s2,  in strbufcmp()
612 		size_t s2len) __asm("_strbufcmp");  in strbufcmp()
615 	__xnu_member_size_check(s2, s2len, read);  in strbufcmp()
616 	return __xnu_strbufcmp(s1, s1len, s2, s2len);  in strbufcmp()
689 …r *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2len)s2, size_t s2len) __statefu…
695 	const char *const __counted_by(s2len) s2 __xnu_pass_member_size, size_t s2len)  in strbufcasecmp()  argument
697 __xnu_member_size_precondition(s2, s2len, "read overflow")  in strbufcasecmp()
702 		const char *__counted_by(s2len) s2,  in strbufcasecmp()
703 		size_t s2len) __asm("_strbufcasecmp");  in strbufcasecmp()
706 	__xnu_member_size_check(s2, s2len, read);  in strbufcasecmp()
707 	return __xnu_strbufcasecmp(s1, s1len, s2, s2len);  in strbufcasecmp()