Corpus for getsockopt$EBT_SO_GET_ENTRIES:
Coverage
Program
154
socket$inet_udp-getsockopt$EBT_SO_GET_ENTRIES