/* Write port specific startup code */
void (*genInitStartup) (FILE * of);
/* parameter passing in register related functions */
void (*reset_regparms) (void); /* reset the register count */
/* Write port specific startup code */
void (*genInitStartup) (FILE * of);
/* parameter passing in register related functions */
void (*reset_regparms) (void); /* reset the register count */