Searched refs:gic_get_c0_fdc_int (Results 1 – 3 of 3) sorted by relevance
127 mips_cpu_fdc_irq = gic_get_c0_fdc_int(); in get_c0_fdc_int()
256 extern int gic_get_c0_fdc_int(void);
251 int gic_get_c0_fdc_int(void) in gic_get_c0_fdc_int() function