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