bios.h

#define save_reg()            \
  asm( "\n                    \
  sw $3, 0(%0)\n              \
  sw $7, 4(%0)\n              \
  sw $8, 8(%0)\n              \
  sw $9, 12(%0)\n             \
  sw $10, 16(%0)\n            \
  sw $11, 20(%0)\n            \
  sw $12, 24(%0)\n            \
  sw $13, 28(%0)\n            \
  sw $14, 32(%0)\n            \
  sw $15, 36(%0)\n            \
  sw $24, 44(%0)\n            \
  sw $25, 48(%0)\n            \
  \n                          \
  sw $18, 40(%0)\n            \
  sw $28, 52(%0)\n            \
  sw $30, 64(%0)\n            \
  "::"r"(reg));               \

#define load_reg()            \
  asm( "\n                    \
  lw $3, 0(%0)\n              \
  lw $7, 4(%0)\n              \
  lw $8, 8(%0)\n              \
  lw $9, 12(%0)\n             \
  lw $10, 16(%0)\n            \
  lw $11, 20(%0)\n            \
  lw $12, 24(%0)\n            \
  lw $13, 28(%0)\n            \
  lw $14, 32(%0)\n            \
  lw $15, 36(%0)\n            \
  lw $24, 44(%0)\n            \
  lw $25, 48(%0)\n            \
  \n                          \
  lw $18, 40(%0)\n            \
  lw $28, 52(%0)\n            \
  lw $30, 64(%0)\n            \
  "::"r"(reg));               \