dec_3000_500_init
cpu_init(ST_DEC_3000_500, dec_3000_500_init, "DEC_3000_500"),
extern void dec_3000_500_init(void);
void dec_3000_500_init(void);