+const s4 abi_registers_integer_argument[] = {
+ 7, /* a0 */
+ 6, /* a1 */
+ 2, /* a2 */
+ 1, /* a3 */
+ 8, /* a4 */
+ 9, /* a5 */
+};
+
+const s4 abi_registers_integer_saved[] = {
+ 5, /* s0 */
+ 12, /* s1 */
+ 13, /* s2 */
+ 14, /* s3 */
+ 15, /* s4 */
+};
+
+const s4 abi_registers_integer_temporary[] = {
+ 3, /* t0 */
+};
+
+
+/* float registers *************************************************************
+
+ xmm0, xmm1, xmm2, xmm3, xmm4, xmm5, xmm6, xmm7,
+ (fa0) (fa1) (fa2) (fa3) (fa4) (fa5) (fa6) (fa7)
+
+ xmm8, xmm9, xmm10, xmm11, xmm12, xmm13, xmm14, xmm15
+ (ftmp1) (ftmp2) (ftmp3) (ft0) (ft1) (ft2) (ft3) (ft4)
+
+*******************************************************************************/