sys/netinet/if_arp.c

702

KASSERT(ACCESSIBLE_POINTER(ar, struct arphdr));

sys/netinet/if_arp.c

731

KASSERT(ACCESSIBLE_POINTER(ar, struct arphdr));

sys/netinet/ip_flow.c

234

if (!ACCESSIBLE_POINTER(ip, struct ip)) {

sys/netinet/ip_flow.c

316

if (!ACCESSIBLE_POINTER(mtod(m, void *), struct ip))

sys/netinet/tcp_input.c

1255

if (ACCESSIBLE_POINTER(th, struct tcphdr) == 0) {

sys/netinet/tcp_input.c

1263

KASSERT(ACCESSIBLE_POINTER(th, struct tcphdr));

sys/netinet/tcp_input.c

1343

KASSERT(ACCESSIBLE_POINTER(th, struct tcphdr));

sys/netinet/udp_usrreq.c

338

if (ACCESSIBLE_POINTER(uh, struct udphdr) == 0) {

sys/netinet/udp_usrreq.c

347

KASSERT(ACCESSIBLE_POINTER(uh, struct udphdr));

sys/netinet6/icmp6.c

546

if (ACCESSIBLE_POINTER(icmp6, struct ip6_hdr) == 0) {

sys/netinet6/icmp6.c

556

KASSERT(ACCESSIBLE_POINTER(icmp6, struct ip6_hdr));

sys/netinet6/ip6_flow.c

286

if (ACCESSIBLE_POINTER(mtod(m, const void *), struct ip6_hdr) == 0) {

sys/netinet6/ip6_input.c

1218

KASSERT(ACCESSIBLE_POINTER(ip6e, struct ip6_hdr));

sys/netinet6/ip6_input.c

605

KASSERT(ACCESSIBLE_POINTER(hbh, struct ip6_hdr));

sys/netinet6/ip6_input.c

878

KASSERT(ACCESSIBLE_POINTER(hbh, struct ip6_hdr));

sys/netinet6/udp6_usrreq.c

669

if (ACCESSIBLE_POINTER(uh, struct udphdr) == 0) {

sys/netinet6/udp6_usrreq.c

678

KASSERT(ACCESSIBLE_POINTER(uh, struct udphdr));