Searched defs:watch_kaddr (Results 1 – 1 of 1) sorted by relevance
759 caddr_t watch_kaddr = (caddr_t)kaddr; in watch_xcopyin() local850 caddr_t watch_kaddr = (caddr_t)kaddr; in watch_xcopyout() local