OK_32PTR
if (addr == NULL || !(OK_32PTR(addr))) {
!OK_32PTR((char *)iphp))
!OK_32PTR((char *)ip6hp))
assert(OK_32PTR(mp->b_rptr));
assert(OK_32PTR(tmp_tcph));
OK_32PTR((up = ((uint8_t *)tcph) +
assert(OK_32PTR(mp->b_rptr));
if (!OK_32PTR(rptr) ||
ASSERT(OK_32PTR(mp->b_rptr));
ASSERT(OK_32PTR(rptr));
if (DB_REF(mp) != 1 || iph < DB_BASE(mp) || !OK_32PTR(iph)) {
if (!OK_32PTR((char *)sin6) || (addrlen != sizeof (sin6_t)) ||
if ((!OK_32PTR((char *)sin) || addrlen != sizeof (sin_t)) ||
if (sa == NULL || !OK_32PTR((char *)sa)) {
if (sa == NULL || !OK_32PTR((char *)sa)) {
VERIFY(OK_32PTR(addr));
if (addr == NULL || !(OK_32PTR(addr)))
if (!OK_32PTR(mp0->b_rptr)) {
if (!OK_32PTR(mp2->b_rptr)) {
if (!OK_32PTR(mp->b_rptr))
if (OK_32PTR(mp->b_rptr) && MBLKL(mp) >= min_size)
if (!OK_32PTR(ip6h) || MBLKL(mp) < IPV6_HDR_LEN) {
if (!OK_32PTR(ipha) || MBLKL(mp) < IP_SIMPLE_HDR_LENGTH) {
if (addr_ucp == NULL || !OK_32PTR(addr_ucp))
if (!OK_32PTR(ip))
if (name == NULL || !OK_32PTR((char *)name))
ASSERT(OK_32PTR(mp->b_wptr));
ASSERT(OK_32PTR(mp->b_rptr));
ASSERT(OK_32PTR(sctph));
ASSERT(OK_32PTR(cech));
ASSERT(OK_32PTR(initsh));
ASSERT(OK_32PTR(iacksh));
ASSERT(OK_32PTR(sh));
ASSERT(OK_32PTR(insh));
ASSERT(OK_32PTR(sh));
ASSERT(OK_32PTR(insh));
if (!OK_32PTR(mp->b_rptr)) {
ASSERT(OK_32PTR(cp));
ASSERT(OK_32PTR(sri));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
if (!OK_32PTR((char *)sa)) {
ASSERT(OK_32PTR(mp->b_rptr));
ASSERT(OK_32PTR(rptr));
OK_32PTR(up) &&
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(optptr));
ASSERT(OK_32PTR(mp->b_rptr));
ASSERT(OK_32PTR(tmp_tcph));
(!OK_32PTR(rptr))) {
if (!OK_32PTR(rptr) ||
ASSERT(OK_32PTR(rptr));
if (!OK_32PTR(mp1->b_rptr)) {
if (sin == NULL || !OK_32PTR((char *)sin)) {
ASSERT(OK_32PTR(rptr));
if (DB_REF(mp) != 1 || iph < DB_BASE(mp) || !OK_32PTR(iph)) {
if (!OK_32PTR((char *)sin6) || (addrlen != sizeof (sin6_t)) ||
if ((!OK_32PTR((char *)sin) || addrlen != sizeof (sin_t)) ||
if (sin == NULL || !OK_32PTR((char *)sin))
if (sin6 == NULL || !OK_32PTR((char *)sin6))
if (sa == NULL || !OK_32PTR((char *)sa)) {
if (sa == NULL || !OK_32PTR((char *)sa)) {
ASSERT(OK_32PTR(mp->b_rptr));
if (sin == NULL || !OK_32PTR((char *)sin)) {
if (!OK_32PTR((char *)sin) || tudr->DEST_length !=
!OK_32PTR((char *)sin)) {
if (!OK_32PTR(l3_start))
if (!OK_32PTR(l4_start))
KT_ASSERT(OK_32PTR(curr->b_rptr + meoi.meoi_l2hlen),
if (!OK_32PTR(s) || mp->b_cont != NULL) {
if (!OK_32PTR(mp->b_rptr + meoi.meoi_l2hlen) ||
if (!modifiable || !(OK_32PTR((char *)ip6h)) ||
if (!OK_32PTR(mp->b_rptr + meoi.meoi_l2hlen) ||
!OK_32PTR((char *)iphp))
!OK_32PTR((char *)ip6hp))
!OK_32PTR(mp->b_rptr + meoi.meoi_l2hlen)) {
if (MBLKL(omp) < ohdrslen || !OK_32PTR(omp->b_rptr + oehlen)) {