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