kernacc
if (!kernacc((void *)v, c, prot)) {
if (!kernacc((caddr_t)(int)uio->uio_offset, c,
if (!kernacc((void *)v, cnt, prot)) {
if (!kernacc((caddr_t)(int)uio->uio_offset, uio->uio_resid,
!kernacc((void *) va, iov->iov_len, prot)) {
if (!kernacc((void *)v, cnt, prot)) {
bool kernacc(void *, int, int);