|
@@ -51,7 +51,6 @@ dw_apb_clocksource_init(unsigned rating, const char *name, void __iomem *base,
|
|
void dw_apb_clocksource_register(struct dw_apb_clocksource *dw_cs);
|
|
void dw_apb_clocksource_register(struct dw_apb_clocksource *dw_cs);
|
|
void dw_apb_clocksource_start(struct dw_apb_clocksource *dw_cs);
|
|
void dw_apb_clocksource_start(struct dw_apb_clocksource *dw_cs);
|
|
cycle_t dw_apb_clocksource_read(struct dw_apb_clocksource *dw_cs);
|
|
cycle_t dw_apb_clocksource_read(struct dw_apb_clocksource *dw_cs);
|
|
-void dw_apb_clocksource_unregister(struct dw_apb_clocksource *dw_cs);
|
|
|
|
|
|
|
|
extern void dw_apb_timer_init(void);
|
|
extern void dw_apb_timer_init(void);
|
|
#endif /* __DW_APB_TIMER_H__ */
|
|
#endif /* __DW_APB_TIMER_H__ */
|