1930     struct timespec *timeout, dfsan_label sockfd_label,  in __dfsw_recvmmsg()  argument
1944     struct timespec *timeout, dfsan_label sockfd_label,  in __dfso_recvmmsg()  argument
1950   return __dfsw_recvmmsg(sockfd, msgvec, vlen, flags, timeout, sockfd_label,  in __dfso_recvmmsg()
1956     int sockfd, struct msghdr *msg, int flags, dfsan_label sockfd_label,  in __dfsw_recvmsg()  argument
1966     int sockfd, struct msghdr *msg, int flags, dfsan_label sockfd_label,  in __dfso_recvmsg()  argument
1970   return __dfsw_recvmsg(sockfd, msg, flags, sockfd_label, msg_label,  in __dfso_recvmsg()
1999     dfsan_label sockfd_label, dfsan_label level_label,  in __dfsw_getsockopt()  argument
2013     dfsan_label sockfd_label, dfsan_label level_label,  in __dfso_getsockopt()  argument
2019   return __dfsw_getsockopt(sockfd, level, optname, optval, optlen, sockfd_label,  in __dfso_getsockopt()
2026     dfsan_label sockfd_label, dfsan_label addr_label, dfsan_label addrlen_label,  in __dfsw_getsockname()  argument
2041     dfsan_label sockfd_label, dfsan_label addr_label, dfsan_label addrlen_label,  in __dfso_getsockname()  argument
2045   return __dfsw_getsockname(sockfd, addr, addrlen, sockfd_label, addr_label,  in __dfso_getsockname()
2051     dfsan_label sockfd_label, dfsan_label addr_label, dfsan_label addrlen_label,  in __dfsw_getpeername()  argument
2066     dfsan_label sockfd_label, dfsan_label addr_label, dfsan_label addrlen_label,  in __dfso_getpeername()  argument
2070   return __dfsw_getpeername(sockfd, addr, addrlen, sockfd_label, addr_label,  in __dfso_getpeername()