Searched refs:convert_vx_to_fp (Results 1 – 3 of 3) sorted by relevance
25 static inline void convert_vx_to_fp(freg_t *fprs, __vector128 *vxrs) in convert_vx_to_fp() function46 convert_vx_to_fp((freg_t *)&fpregs->fprs, fpu->vxrs); in fpregs_store()
911 convert_vx_to_fp(fprs, target->thread.fpu.vxrs); in s390_fpregs_set()
643 convert_vx_to_fp(fprs, (__vector128 *) vcpu->run->s.regs.vrs); in __write_machine_check()