Searched defs:ksaddr32 (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()267 const uint32_t *ksaddr32 = (void *)ksaddr; in copyout_uint32s() local