Home | History | Annotate | Download | only in booke

Lines Matching defs:ksaddr

242 copyout_uint8s(vaddr_t ksaddr, vaddr_t udaddr, size_t len, register_t ds_msr)
244 	const uint8_t *ksaddr8 = (void *)ksaddr;
260 copyout_uint32s(vaddr_t ksaddr, vaddr_t udaddr, size_t len, register_t ds_msr)
265 	KASSERT((ksaddr & 3) == 0);
267 	const uint32_t *ksaddr32 = (void *)ksaddr;
361 	vaddr_t ksaddr = (vaddr_t) vksaddr;
376 		copyout_uint8s(ksaddr, udaddr, len, ds_msr);
381 	const size_t alignment = (udaddr ^ ksaddr) & 3;
384 		if (__predict_false(ksaddr & 3)) {
385 			slen = 4 - (ksaddr & 3);
386 			copyout_uint8s(ksaddr, udaddr, slen, ds_msr);
387 			udaddr += slen, ksaddr += slen, len -= slen;
391 			copyout_uint32s(ksaddr, udaddr, slen, ds_msr);
392 			udaddr += slen, ksaddr += slen, len -= slen;
397 		copyout_uint8s(ksaddr, udaddr, len, ds_msr);
405 copyoutstr(const void *ksaddr, void *udaddr, size_t len, size_t *done)
426 	const uint8_t *ksaddr8 = ksaddr;
448 copyoutstr(const void *ksaddr, void *udaddr, size_t len, size_t *lenp)
467 	const uint8_t *ksaddr8 = ksaddr;