Home | History | Annotate | Download | only in booke

Lines Matching defs:usaddr32

82 copyin_word(const uint32_t * const usaddr32, register_t ds_msr)
89 "lwz %[data],0(%[usaddr32]); " /* load user byte */
92 : [ds_msr] "r" (ds_msr), [usaddr32] "b" (usaddr32));
97 copyin_word_bswap(const uint32_t * const usaddr32, register_t ds_msr)
104 "lwbrx %[data],0,%[usaddr32]; " /* load user LE word */
107 : [ds_msr] "r" (ds_msr), [usaddr32] "b" (usaddr32));
112 copyin_8words(const uint32_t *usaddr32, uint32_t *kdaddr32, register_t ds_msr)
119 "\n\t" "lwz %[data0],0(%[usaddr32])" /* fetch user data */
120 "\n\t" "lwz %[data1],4(%[usaddr32])" /* fetch user data */
121 "\n\t" "lwz %[data2],8(%[usaddr32])" /* fetch user data */
122 "\n\t" "lwz %[data3],12(%[usaddr32])" /* fetch user data */
123 "\n\t" "lwz %[data4],16(%[usaddr32])" /* fetch user data */
124 "\n\t" "lwz %[data5],20(%[usaddr32])" /* fetch user data */
125 "\n\t" "lwz %[data6],24(%[usaddr32])" /* fetch user data */
126 "\n\t" "lwz %[data7],28(%[usaddr32])" /* fetch user data */
133 : [ds_msr] "r" (ds_msr), [usaddr32] "b" (usaddr32));
137 copyin_16words(const uint32_t *usaddr32, uint32_t *kdaddr32, register_t ds_msr)
143 "\n\t" "lwz %[data0],0(%[usaddr32])" /* fetch user data */
144 "\n\t" "lwz %[data1],4(%[usaddr32])" /* fetch user data */
145 "\n\t" "lwz %[data2],8(%[usaddr32])" /* fetch user data */
146 "\n\t" "lwz %[data3],12(%[usaddr32])" /* fetch user data */
147 "\n\t" "lwz %[data4],16(%[usaddr32])" /* fetch user data */
148 "\n\t" "lwz %[data5],20(%[usaddr32])" /* fetch user data */
149 "\n\t" "lwz %[data6],24(%[usaddr32])" /* fetch user data */
150 "\n\t" "lwz %[data7],28(%[usaddr32])" /* fetch user data */
151 "\n\t" "lwz %[data8],32(%[usaddr32])" /* fetch user data */
152 "\n\t" "lwz %[data9],36(%[usaddr32])" /* fetch user data */
153 "\n\t" "lwz %[data10],40(%[usaddr32])" /* fetch user data */
154 "\n\t" "lwz %[data11],44(%[usaddr32])" /* fetch user data */
155 "\n\t" "lwz %[data12],48(%[usaddr32])" /* fetch user data */
156 "\n\t" "lwz %[data13],52(%[usaddr32])" /* fetch user data */
157 "\n\t" "lwz %[data14],56(%[usaddr32])" /* fetch user data */
158 "\n\t" "lwz %[data15],60(%[usaddr32])" /* fetch user data */
169 : [ds_msr] "r" (ds_msr), [usaddr32] "b" (usaddr32));
186 const uint32_t *usaddr32 = (void *)usaddr;
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);
326 const uint32_t *usaddr32 = (const void *)((uintptr_t)usaddr & ~3);
337 data = copyin_word_bswap(usaddr32++, ds_msr) >> (8 * uoff);
344 data = copyin_word_bswap(usaddr32++, ds_msr);