Searched refs:kdaddr8 (Results 1 – 1 of 1) sorted by relevance
175 uint8_t *kdaddr8 = (void *)kdaddr; in copyin_bytes() local177 *kdaddr8++ = copyin_byte(usaddr8++, ds_msr); in copyin_bytes()327 uint8_t *kdaddr8 = kdaddr; in copyinstr() local347 *kdaddr8++ = data; in copyinstr()