gic_get_c0_fdc_int
mips_cpu_fdc_irq = gic_get_c0_fdc_int();
extern int gic_get_c0_fdc_int(void);
return gic_get_c0_fdc_int();