2009-11-12 06:20:54 +01:00
|
|
|
#ifndef __PLAT_MTU_H
|
|
|
|
#define __PLAT_MTU_H
|
|
|
|
|
2012-10-18 11:06:02 +02:00
|
|
|
void nmdk_timer_init(void __iomem *base, int irq);
|
2011-09-20 11:18:27 +02:00
|
|
|
void nmdk_clkevt_reset(void);
|
|
|
|
void nmdk_clksrc_reset(void);
|
2009-07-02 20:06:47 +02:00
|
|
|
|
2009-11-12 06:20:54 +01:00
|
|
|
#endif /* __PLAT_MTU_H */
|
2009-07-02 20:06:47 +02:00
|
|
|
|