Searched defs:udaddr32 (Results 1 – 1 of 1) sorted by relevance
162 copyout_8uint32s(const uint32_t * const ksaddr32, uint32_t * const udaddr32, in copyout_8uint32s()194 copyout_16uint32s(const uint32_t * const ksaddr32, uint32_t * const udaddr32, in copyout_16uint32s()268 uint32_t *udaddr32 = (void *)udaddr; in copyout_uint32s() local470 uint32_t *udaddr32 = (void *)((uintptr_t)udaddr & ~3); in copyoutstr() local