Well, you need the pointers to see why this assertion fails:
dtrace_copycheck(uintptr_t uaddr, uintptr_t kaddr, size_t size)
{
ASSERT(kaddr >= kernelbase && kaddr + size >= kaddr);
Since size can't be negative, the second part is always true, unless size is so large that it causes a...