#define INT_REG_CNT 16 /* number of integer registers */
#define INT_SAV_CNT 5 /* number of integer callee saved registers */
#define INT_REG_CNT 16 /* number of integer registers */
#define INT_SAV_CNT 5 /* number of integer callee saved registers */