riscv/kernel/fpu.S

1 /* SPDX-License-Identifier: GPL-2.0 */
20 #include <asm/asm-offsets.h>
124 	la t2, 1f
129 1:
181  * put_f32_reg - Set a FP register from a register containing the value
192  * get_f32_reg - Get a FP register value and return it
202  * put_f64_reg - Set a 64 bits FP register from a value or a pointer.
204  * a1 = value/pointer to be loaded in the FP register (when xlen == 32 bits, we
214  * get_f64_reg - Get a 64 bits FP register value and returned it or store it to
217  * a1 = If xlen == 32, pointer which should be loaded with the FP register value
218  *	or unused if xlen == 64. In which case the FP register value is returned