416   inline void SetResult(int32_t rd_reg, int32_t alu_out) {  in SetResult()  argument
417     set_register(rd_reg, alu_out);  in SetResult()
418     TraceRegWr(alu_out);  in SetResult()
421   inline void SetFPUWordResult(int32_t fd_reg, int32_t alu_out) {  in SetFPUWordResult()  argument
422     set_fpu_register_word(fd_reg, alu_out);  in SetFPUWordResult()
426   inline void SetFPUResult(int32_t fd_reg, int64_t alu_out) {  in SetFPUResult()  argument
427     set_fpu_register(fd_reg, alu_out);  in SetFPUResult()
431   inline void SetFPUFloatResult(int32_t fd_reg, float alu_out) {  in SetFPUFloatResult()  argument
432     set_fpu_register_float(fd_reg, alu_out);  in SetFPUFloatResult()
436   inline void SetFPUDoubleResult(int32_t fd_reg, double alu_out) {  in SetFPUDoubleResult()  argument
437     set_fpu_register_double(fd_reg, alu_out);  in SetFPUDoubleResult()