599 …r *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2len)s2, size_t s2len) __statefu…
605 	const char *const __counted_by(s2len) s2 __xnu_pass_member_size, size_t s2len)  in strbufcmp()  argument
607 __xnu_member_size_precondition(s2, s2len, "read overflow")  in strbufcmp()
612 		const char *__counted_by(s2len) s2,  in strbufcmp()
613 		size_t s2len) __asm("_strbufcmp");  in strbufcmp()
616 	__xnu_member_size_check(s2, s2len, read);  in strbufcmp()
617 	return __xnu_strbufcmp(s1, s1len, s2, s2len);  in strbufcmp()
690 …r *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2len)s2, size_t s2len) __statefu…
696 	const char *const __counted_by(s2len) s2 __xnu_pass_member_size, size_t s2len)  in strbufcasecmp()  argument
698 __xnu_member_size_precondition(s2, s2len, "read overflow")  in strbufcasecmp()
703 		const char *__counted_by(s2len) s2,  in strbufcasecmp()
704 		size_t s2len) __asm("_strbufcasecmp");  in strbufcasecmp()
707 	__xnu_member_size_check(s2, s2len, read);  in strbufcasecmp()
708 	return __xnu_strbufcasecmp(s1, s1len, s2, s2len);  in strbufcasecmp()