188 static __always_inline void fpu_vl(u8 v1, const void *vxr)  in fpu_vl()  argument
190 	instrument_read(vxr, sizeof(__vector128));  in fpu_vl()
195 		: [vxr] "R" (*(__vector128 *)vxr),  in fpu_vl()
202 static __always_inline void fpu_vl(u8 v1, const void *vxr)  in fpu_vl()  argument
204 	instrument_read(vxr, sizeof(__vector128));  in fpu_vl()
207 		     : [vxr] "Q" (*(__vector128 *)vxr),  in fpu_vl()
243 static __always_inline void fpu_vll(u8 v1, u32 index, const void *vxr)  in fpu_vll()  argument
248 	instrument_read(vxr, size);  in fpu_vll()
253 		: [vxr] "R" (*(u8 *)vxr),  in fpu_vll()
261 static __always_inline void fpu_vll(u8 v1, u32 index, const void *vxr)  in fpu_vll()  argument
266 	instrument_read(vxr, size);  in fpu_vll()
269 		     : [vxr] "Q" (*(u8 *)vxr),  in fpu_vll()
367 static __always_inline void fpu_vst(u8 v1, const void *vxr)  in fpu_vst()  argument
369 	instrument_write(vxr, sizeof(__vector128));  in fpu_vst()
373 		: [vxr] "=R" (*(__vector128 *)vxr)  in fpu_vst()
380 static __always_inline void fpu_vst(u8 v1, const void *vxr)  in fpu_vst()  argument
382 	instrument_write(vxr, sizeof(__vector128));  in fpu_vst()
384 		     : [vxr] "=Q" (*(__vector128 *)vxr)  in fpu_vst()
393 static __always_inline void fpu_vstl(u8 v1, u32 index, const void *vxr)  in fpu_vstl()  argument
398 	instrument_write(vxr, size);  in fpu_vstl()
402 		: [vxr] "=R" (*(u8 *)vxr)  in fpu_vstl()
409 static __always_inline void fpu_vstl(u8 v1, u32 index, const void *vxr)  in fpu_vstl()  argument
414 	instrument_write(vxr, size);  in fpu_vstl()
416 		     : [vxr] "=Q" (*(u8 *)vxr)  in fpu_vstl()