dec_kn8ae_init
extern void dec_kn8ae_init(void);
cpu_init(ST_DEC_21000, dec_kn8ae_init, "DEC_KN8AE"),
void dec_kn8ae_init(void);