Searched refs:watch_kaddr (Results 1 – 1 of 1) sorted by relevance
759 caddr_t watch_kaddr = (caddr_t)kaddr; in watch_xcopyin() local793 copyin_noerr(watch_uaddr, watch_kaddr, part); in watch_xcopyin()798 watch_kaddr += part; in watch_xcopyin()815 copyin_noerr(watch_uaddr, watch_kaddr, part); in watch_xcopyin()820 watch_kaddr += part; in watch_xcopyin()850 caddr_t watch_kaddr = (caddr_t)kaddr; in watch_xcopyout() local891 copyout_noerr(watch_kaddr, watch_uaddr, part); in watch_xcopyout()896 watch_kaddr += part; in watch_xcopyout()914 copyout_noerr(watch_kaddr, watch_uaddr, part); in watch_xcopyout()919 watch_kaddr += part; in watch_xcopyout()