Lines Matching refs:vxrs
87 static __always_inline void save_vx_regs(__vector128 *vxrs)
89 fpu_vstm(0, 15, &vxrs[0]);
90 fpu_vstm(16, 31, &vxrs[16]);
93 static __always_inline void load_vx_regs(__vector128 *vxrs)
95 fpu_vlm(0, 15, &vxrs[0]);
96 fpu_vlm(16, 31, &vxrs[16]);
149 static __always_inline void save_fp_regs_vx(__vector128 *vxrs)
151 freg_t *fprs = (freg_t *)&vxrs[0].high;
156 static __always_inline void load_fp_regs_vx(__vector128 *vxrs)
158 freg_t *fprs = (freg_t *)&vxrs[0].high;
239 kernel_fpu_check_size(_flags, ARRAY_SIZE(s->vxrs)); \
248 kernel_fpu_check_size(_flags, ARRAY_SIZE(s->vxrs)); \
266 static inline void convert_vx_to_fp(freg_t *fprs, __vector128 *vxrs)
271 fprs[i].ui = vxrs[i].high;
274 static inline void convert_fp_to_vx(__vector128 *vxrs, freg_t *fprs)
279 vxrs[i].high = fprs[i].ui;
286 convert_vx_to_fp((freg_t *)&fpregs->fprs, fpu->vxrs);
292 convert_fp_to_vx(fpu->vxrs, (freg_t *)&fpregs->fprs);