dec_axppci_33_init
cpu_init(ST_DEC_AXPPCI_33, dec_axppci_33_init, "DEC_AXPPCI_33"),
extern void dec_axppci_33_init(void);
void dec_axppci_33_init(void);