sys/kern/uipc_msg.c

543

KKASSERT(!sopt->sopt_val || kva_p(sopt->sopt_val));

sys/kern/uipc_socket.c

2088

KKASSERT(!sopt->sopt_val || kva_p(sopt->sopt_val));

sys/kern/uipc_socket.c

2089

KKASSERT(kva_p(buf));

sys/kern/uipc_socket.c

2293

KKASSERT(!sopt->sopt_val || kva_p(sopt->sopt_val));

sys/kern/uipc_socket.c

2294

KKASSERT(kva_p(buf));

sys/kern/uipc_socket.c

2481

KKASSERT(!sopt->sopt_val || kva_p(sopt->sopt_val));

sys/kern/uipc_socket.c

2482

KKASSERT(kva_p(m));

sys/kern/uipc_socket.c

2512

KKASSERT(!sopt->sopt_val || kva_p(sopt->sopt_val));

sys/kern/uipc_socket.c

2513

KKASSERT(kva_p(m));