watch_xcopyin
static int watch_xcopyin(const void *, void *, size_t);
watch_xcopyin,
return (watch_xcopyin(kaddr, uaddr, count) ? -1 : 0);