580 	const char *const __counted_by(s1len) s1 __xnu_force_overload,  in strlcmp()
581 	const char *const s2, size_t s1len)  in strlcmp()  argument
582 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strlcmp()
585 		const char * __counted_by(s1len) s1,  in strlcmp()
587 		size_t s1len) __asm("_strlcmp");  in strlcmp()
589 	__xnu_member_size_check(s1, s1len, read);  in strlcmp()
590 	return __xnu_strlcmp(s1, s2, s1len);  in strlcmp()
599 extern int strbufcmp(const char *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2le…
604 	const char *const __counted_by(s1len) s1 __xnu_pass_member_size, size_t s1len,  in strbufcmp()  argument
606 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strbufcmp()
610 		const char * __counted_by(s1len) s1,  in strbufcmp()
611 		size_t s1len,  in strbufcmp()
615 	__xnu_member_size_check(s1, s1len, read);  in strbufcmp()
617 	return __xnu_strbufcmp(s1, s1len, s2, s2len);  in strbufcmp()
672 	const char *const __counted_by(s1len) s1 __xnu_force_overload,  in strlcasecmp()
673 	const char *__null_terminated const s2, size_t s1len)  in strlcasecmp()  argument
674 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strlcasecmp()
677 		const char * __counted_by(s1len) s1,  in strlcasecmp()
679 		size_t s1len) __asm("_strlcasecmp");  in strlcasecmp()
681 	__xnu_member_size_check(s1, s1len, read);  in strlcasecmp()
682 	return __xnu_strlcasecmp(s1, s2, s1len);  in strlcasecmp()
690 extern int strbufcasecmp(const char *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(…
695 	const char *const __counted_by(s1len) s1 __xnu_pass_member_size, size_t s1len,  in strbufcasecmp()  argument
697 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strbufcasecmp()
701 		const char * __counted_by(s1len) s1,  in strbufcasecmp()
702 		size_t s1len,  in strbufcasecmp()
706 	__xnu_member_size_check(s1, s1len, read);  in strbufcasecmp()
708 	return __xnu_strbufcasecmp(s1, s1len, s2, s2len);  in strbufcasecmp()