gic_get_c0_perfcount_int
mips_cpu_perf_irq = gic_get_c0_perfcount_int();
extern int gic_get_c0_perfcount_int(void);
mips_cpu_perf_irq = gic_get_c0_perfcount_int();
return gic_get_c0_perfcount_int();