dec_eb64plus_init
extern void dec_eb64plus_init(void);
cpu_init(ST_EB64P, dec_eb64plus_init, "DEC_EB64PLUS"),
void dec_eb64plus_init(void);