pxa2x0_machdep_init
void pxa2x0_machdep_init(void);
extern void pxa2x0_machdep_init(void);
pxa2x0_machdep_init();