Lines Matching defs:ksaddr32
162 copyout_8uint32s(const uint32_t * const ksaddr32, uint32_t * const udaddr32,
186 [data0] "r" (ksaddr32[0]), [data1] "r" (ksaddr32[1]),
187 [data2] "r" (ksaddr32[2]), [data3] "r" (ksaddr32[3]),
188 [data4] "r" (ksaddr32[4]), [data5] "r" (ksaddr32[5]),
189 [data6] "r" (ksaddr32[6]), [data7] "r" (ksaddr32[7])
194 copyout_16uint32s(const uint32_t * const ksaddr32, uint32_t * const udaddr32,
230 [data0] "r" (ksaddr32[0]), [data1] "r" (ksaddr32[1]),
231 [data2] "r" (ksaddr32[2]), [data3] "r" (ksaddr32[3]),
232 [data4] "r" (ksaddr32[4]), [data5] "r" (ksaddr32[5]),
233 [data6] "r" (ksaddr32[6]), [data7] "r" (ksaddr32[7]),
234 [data8] "r" (ksaddr32[8]), [data9] "r" (ksaddr32[9]),
235 [data10] "r" (ksaddr32[10]), [data11] "r" (ksaddr32[11]),
236 [data12] "r" (ksaddr32[12]), [data13] "r" (ksaddr32[13]),
237 [data14] "r" (ksaddr32[14]), [data15] "r" (ksaddr32[15])
267 const uint32_t *ksaddr32 = (void *)ksaddr;
270 __builtin_prefetch(ksaddr32, 0, 1);
274 for (; slen >= 8; ksaddr32 += 8, udaddr32 += 8, slen -= 8) {
275 copyout_8uint32s(ksaddr32, udaddr32, ds_msr, line_mask);
278 copyout_uint32(udaddr32++, *ksaddr32++, ds_msr);
283 __builtin_prefetch(ksaddr32, 0, 1);
285 __builtin_prefetch(ksaddr32 + 8, 0, 1);
286 __builtin_prefetch(ksaddr32 + 16, 0, 1);
287 copyout_16uint32s(ksaddr32, udaddr32, ds_msr, line_mask);
288 ksaddr32 += 16, udaddr32 += 16, len -= 16;
292 __builtin_prefetch(ksaddr32 + 8, 0, 1);
293 copyout_8uint32s(ksaddr32, udaddr32, ds_msr, line_mask);
294 ksaddr32 += 8, udaddr32 += 8, len -= 8;
297 copyout_uint32(udaddr32++, *ksaddr32++, ds_msr);