579 	const char *const __counted_by(s1len) s1 __xnu_force_overload,  in strlcmp()
580 	const char *const s2, size_t s1len)  in strlcmp()  argument
581 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strlcmp()
584 		const char * __counted_by(s1len) s1,  in strlcmp()
586 		size_t s1len) __asm("_strlcmp");  in strlcmp()
588 	__xnu_member_size_check(s1, s1len, read);  in strlcmp()
589 	return __xnu_strlcmp(s1, s2, s1len);  in strlcmp()
598 extern int strbufcmp(const char *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(s2le…
603 	const char *const __counted_by(s1len) s1 __xnu_pass_member_size, size_t s1len,  in strbufcmp()  argument
605 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strbufcmp()
609 		const char * __counted_by(s1len) s1,  in strbufcmp()
610 		size_t s1len,  in strbufcmp()
614 	__xnu_member_size_check(s1, s1len, read);  in strbufcmp()
616 	return __xnu_strbufcmp(s1, s1len, s2, s2len);  in strbufcmp()
671 	const char *const __counted_by(s1len) s1 __xnu_force_overload,  in strlcasecmp()
672 	const char *__null_terminated const s2, size_t s1len)  in strlcasecmp()  argument
673 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strlcasecmp()
676 		const char * __counted_by(s1len) s1,  in strlcasecmp()
678 		size_t s1len) __asm("_strlcasecmp");  in strlcasecmp()
680 	__xnu_member_size_check(s1, s1len, read);  in strlcasecmp()
681 	return __xnu_strlcasecmp(s1, s2, s1len);  in strlcasecmp()
689 extern int strbufcasecmp(const char *__counted_by(s1len)s1, size_t s1len, const char *__counted_by(…
694 	const char *const __counted_by(s1len) s1 __xnu_pass_member_size, size_t s1len,  in strbufcasecmp()  argument
696 __xnu_member_size_precondition(s1, s1len, "read overflow")  in strbufcasecmp()
700 		const char * __counted_by(s1len) s1,  in strbufcasecmp()
701 		size_t s1len,  in strbufcasecmp()
705 	__xnu_member_size_check(s1, s1len, read);  in strbufcasecmp()
707 	return __xnu_strbufcasecmp(s1, s1len, s2, s2len);  in strbufcasecmp()