gic_get_c0_compare_int
mips_cpu_timer_irq = gic_get_c0_compare_int();
extern int gic_get_c0_compare_int(void);