get_tclk
tclk = clk_register_fixed_rate(NULL, "tclk", NULL, 0, get_tclk());
static int get_tclk(void);
IRQ_MV78XX0_TIMER_1, get_tclk());
printk("TCLK = %dMHz\n", (get_tclk() + 499999) / 1000000);