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