kmt_bcopy
kmt_bcopy((void *)(uintptr_t)addr, buf, nbytes);
kmt_bcopy(buf, (void *)(uintptr_t)addr, nbytes);