168 extern void put_f32_reg(unsigned long fp_reg, unsigned long value);
173 	unsigned long fp_reg = FP_GET_RD(insn);  in set_f32_rd()  local
175 	put_f32_reg(fp_reg, val);  in set_f32_rd()
181 extern void put_f64_reg(unsigned long fp_reg, unsigned long value);
185 	unsigned long fp_reg = FP_GET_RD(insn);  in set_f64_rd()  local
193 	put_f64_reg(fp_reg, value);  in set_f64_rd()
200 extern void get_f64_reg(unsigned long fp_reg, u64 *value);
205 	unsigned long fp_reg = (insn >> fp_reg_offset) & 0x1F;  in get_f64_rs()  local
208 	get_f64_reg(fp_reg, &val);  in get_f64_rs()
215 extern unsigned long get_f64_reg(unsigned long fp_reg);
220 	unsigned long fp_reg = (insn >> fp_reg_offset) & 0x1F;  in get_f64_rs()  local
223 	val = get_f64_reg(fp_reg);  in get_f64_rs()
231 extern unsigned long get_f32_reg(unsigned long fp_reg);
236 	unsigned long fp_reg = (insn >> fp_reg_offset) & 0x1F;  in get_f32_rs()  local
239 	val = get_f32_reg(fp_reg);  in get_f32_rs()