Searched refs:watch_kaddr (Results 1 – 1 of 1) sorted by relevance
782 caddr_t watch_kaddr = (caddr_t)kaddr; in watch_xcopyin() local816 copyin_noerr(watch_uaddr, watch_kaddr, part); in watch_xcopyin()821 watch_kaddr += part; in watch_xcopyin()838 copyin_noerr(watch_uaddr, watch_kaddr, part); in watch_xcopyin()843 watch_kaddr += part; in watch_xcopyin()873 caddr_t watch_kaddr = (caddr_t)kaddr; in watch_xcopyout() local914 copyout_noerr(watch_kaddr, watch_uaddr, part); in watch_xcopyout()919 watch_kaddr += part; in watch_xcopyout()937 copyout_noerr(watch_kaddr, watch_uaddr, part); in watch_xcopyout()942 watch_kaddr += part; in watch_xcopyout()