1 #ifndef _C6X_TIMER64_H
2 #define _C6X_TIMER64_H
3 
4 extern void __init timer64_init(void);
5 
6 #endif /* _C6X_TIMER64_H */
7