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