***************************************************
** Description of ABI for picoblaze *
***************************************************

Usage of registers:

Stack pointer: $1 (gpregs_1)
Base pointer: $2 (gpregs_2)
Return address:  (gpregs_31)
First integer function argument: $3 (gpregs_3)
First integer return value:  (gpregs_3)

