Searched refs:usaddr8 (Results 1 – 1 of 1) sorted by relevance
52 copyin_byte(const uint8_t * const usaddr8, register_t ds_msr) in copyin_byte() argument62 : [ds_msr] "r" (ds_msr), [usaddr8] "b" (usaddr8)); in copyin_byte()174 const uint8_t *usaddr8 = (void *)usaddr; in copyin_bytes() local177 *kdaddr8++ = copyin_byte(usaddr8++, ds_msr); in copyin_bytes()