#ifndef MACH_TCC8K_COMMON_H #define MACH_TCC8K_COMMON_H extern void tcc_clocks_init(unsigned long xi_freq, unsigned long xti_freq); extern void tcc8k_init_irq(void); #endif
