/*
* linux/include/asm-arm/arch-ep93xx/platform.h
*/
#ifndef __ASSEMBLY__
void ep93xx_map_io(void);
void ep93xx_init_irq(void);
void ep93xx_init_time(unsigned long);
void ep93xx_init_devices(void);
extern struct sys_timer ep93xx_timer;
#endif