Searched defs:kdaddr8 (Results 1 – 1 of 1) sorted by relevance
175 uint8_t *kdaddr8 = (void *)kdaddr; in copyin_bytes() local327 uint8_t *kdaddr8 = kdaddr; in copyinstr() local