Lines Matching defs:kdaddr32
112 copyin_8words(const uint32_t *usaddr32, uint32_t *kdaddr32, register_t ds_msr)
129 [data0] "=&r" (kdaddr32[0]), [data1] "=&r" (kdaddr32[1]),
130 [data2] "=&r" (kdaddr32[2]), [data3] "=&r" (kdaddr32[3]),
131 [data4] "=&r" (kdaddr32[4]), [data5] "=&r" (kdaddr32[5]),
132 [data6] "=&r" (kdaddr32[6]), [data7] "=&r" (kdaddr32[7])
137 copyin_16words(const uint32_t *usaddr32, uint32_t *kdaddr32, register_t ds_msr)
161 [data0] "=&r" (kdaddr32[0]), [data1] "=&r" (kdaddr32[1]),
162 [data2] "=&r" (kdaddr32[2]), [data3] "=&r" (kdaddr32[3]),
163 [data4] "=&r" (kdaddr32[4]), [data5] "=&r" (kdaddr32[5]),
164 [data6] "=&r" (kdaddr32[6]), [data7] "=&r" (kdaddr32[7]),
165 [data8] "=&r" (kdaddr32[8]), [data9] "=&r" (kdaddr32[9]),
166 [data10] "=&r" (kdaddr32[10]), [data11] "=&r" (kdaddr32[11]),
167 [data12] "=&r" (kdaddr32[12]), [data13] "=&r" (kdaddr32[13]),
168 [data14] "=&r" (kdaddr32[14]), [data15] "=&r" (kdaddr32[15])
187 uint32_t *kdaddr32 = (void *)kdaddr;
190 copyin_16words(usaddr32, kdaddr32, ds_msr);
191 usaddr32 += 16, kdaddr32 += 16, len -= 16;
195 copyin_8words(usaddr32, kdaddr32, ds_msr);
196 usaddr32 += 8, kdaddr32 += 8, len -= 8;
199 *kdaddr32++ = copyin_word(usaddr32++, ds_msr);