 isa_rtc_init(); 
static void __init footbridge_timer_init(void){	isa_rtc_init();	timer1_latch = (mem_fclk_21285 + 8 * HZ) / (16 * HZ);	*CSR_TIMER1_CLR  = 0;	*CSR_TIMER1_LOAD = timer1_latch;	*CSR_TIMER1_CNTL = TIMER_CNTL_ENABLE | TIMER_CNTL_AUTORELOAD | TIMER_CNTL_DIV16;	setup_irq(IRQ_TIMER1, &footbridge_timer_irq);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/336eb02b9171d132a9abe575317fee4cca965af4/dc21285-timer.c/buggy/arch/arm/mach-footbridge/dc21285-timer.c