Searched defs:kdaddr32 (Results 1 – 1 of 1) sorted by relevance
112 copyin_8words(const uint32_t *usaddr32, uint32_t *kdaddr32, register_t ds_msr) in copyin_8words()137 copyin_16words(const uint32_t *usaddr32, uint32_t *kdaddr32, register_t ds_msr) in copyin_16words()187 uint32_t *kdaddr32 = (void *)kdaddr; in copyin_words() local