__NUM_VXRS_LOW
unsigned long long vxrs_low[__NUM_VXRS_LOW];
__u64 vxrs[__NUM_VXRS_LOW];
for (i = 0; i < __NUM_VXRS_LOW; i++)
__u64 vxrs[__NUM_VXRS_LOW];
for (i = 0; i < __NUM_VXRS_LOW; i++)
for (i = 0; i < __NUM_VXRS_LOW; i++)
return membuf_write(&to, target->thread.ufpu.vxrs + __NUM_VXRS_LOW,
target->thread.ufpu.vxrs + __NUM_VXRS_LOW, 0, -1);
.n = __NUM_VXRS_LOW,
__u64 vxrs[__NUM_VXRS_LOW];
for (i = 0; i < __NUM_VXRS_LOW; i++)
current->thread.ufpu.vxrs + __NUM_VXRS_LOW,
__u64 vxrs[__NUM_VXRS_LOW];
__copy_from_user(current->thread.ufpu.vxrs + __NUM_VXRS_LOW,
for (i = 0; i < __NUM_VXRS_LOW; i++)