Home | History | Annotate | Download | only in booke

Lines Matching defs:udaddr32

162 copyout_8uint32s(const uint32_t * const ksaddr32, uint32_t * const udaddr32,
168 "and. %[tmp],%[line_mask],%[udaddr32]"
172 "\n\t" "dcba 0,%[udaddr32]"
174 "\n\t" "stw %[data0],0(%[udaddr32])" /* store user data */
175 "\n\t" "stw %[data1],4(%[udaddr32])" /* store user data */
176 "\n\t" "stw %[data2],8(%[udaddr32])" /* store user data */
177 "\n\t" "stw %[data3],12(%[udaddr32])" /* store user data */
178 "\n\t" "stw %[data4],16(%[udaddr32])" /* store user data */
179 "\n\t" "stw %[data5],20(%[udaddr32])" /* store user data */
180 "\n\t" "stw %[data6],24(%[udaddr32])" /* store user data */
181 "\n\t" "stw %[data7],28(%[udaddr32])" /* store user data */
184 : [ds_msr] "r" (ds_msr), [udaddr32] "b" (udaddr32),
194 copyout_16uint32s(const uint32_t * const ksaddr32, uint32_t * const udaddr32,
197 KASSERT(((uintptr_t)udaddr32 & line_mask) == 0);
201 "and. %[tmp],%[line_mask],%[udaddr32]"
206 "\n\t" "dcba 0,%[udaddr32]"
208 "\n\t" "dcba %[line_size],%[udaddr32]"
210 "\n\t" "stw %[data0],0(%[udaddr32])" /* store user data */
211 "\n\t" "stw %[data1],4(%[udaddr32])" /* store user data */
212 "\n\t" "stw %[data2],8(%[udaddr32])" /* store user data */
213 "\n\t" "stw %[data3],12(%[udaddr32])" /* store user data */
214 "\n\t" "stw %[data4],16(%[udaddr32])" /* store user data */
215 "\n\t" "stw %[data5],20(%[udaddr32])" /* store user data */
216 "\n\t" "stw %[data6],24(%[udaddr32])" /* store user data */
217 "\n\t" "stw %[data7],28(%[udaddr32])" /* store user data */
218 "\n\t" "stw %[data8],32(%[udaddr32])" /* store user data */
219 "\n\t" "stw %[data9],36(%[udaddr32])" /* store user data */
220 "\n\t" "stw %[data10],40(%[udaddr32])" /* store user data */
221 "\n\t" "stw %[data11],44(%[udaddr32])" /* store user data */
222 "\n\t" "stw %[data12],48(%[udaddr32])" /* store user data */
223 "\n\t" "stw %[data13],52(%[udaddr32])" /* store user data */
224 "\n\t" "stw %[data14],56(%[udaddr32])" /* store user data */
225 "\n\t" "stw %[data15],60(%[udaddr32])" /* store user data */
228 : [ds_msr] "r" (ds_msr), [udaddr32] "b" (udaddr32),
268 uint32_t *udaddr32 = (void *)udaddr;
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);
287 copyout_16uint32s(ksaddr32, udaddr32, ds_msr, line_mask);
288 ksaddr32 += 16, udaddr32 += 16, len -= 16;
293 copyout_8uint32s(ksaddr32, udaddr32, ds_msr, line_mask);
294 ksaddr32 += 8, udaddr32 += 8, len -= 8;
297 copyout_uint32(udaddr32++, *ksaddr32++, ds_msr);
470 uint32_t *udaddr32 = (void *)((uintptr_t)udaddr & ~3);
493 copyout_le32_with_mask(udaddr32++, data, mask, ds_msr);
521 udaddr32++, data, ds_msr);
557 copyout_le32_with_mask(udaddr32, data, mask, ds_msr);