Lines Matching defs:kaddr
107 ASSERT((uintptr_t)a->kaddr > _userlimit);
116 if ((uintptr_t)a->kaddr <= _userlimit ||
117 ((uintptr_t)a->kaddr + seg->s_size) < (uintptr_t)a->kaddr ||
119 ((uintptr_t)a->kaddr & PAGEOFFSET) != 0 ||
120 !segumap_verify_safe(a->kaddr, seg->s_size)) {
126 data->sud_kaddr = a->kaddr;
135 segumap_verify_safe(caddr_t kaddr, size_t len)
149 seg = as_segat(&kas, kaddr);
151 VERIFY(seg->s_base + seg->s_size >= kaddr + len);