Searched refs:gic_get_c0_fdc_int (Results 1 – 4 of 4) sorted by relevance
22 mips_cpu_fdc_irq = gic_get_c0_fdc_int(); in get_c0_fdc_int()
141 return gic_get_c0_fdc_int(); in get_c0_fdc_int()
371 extern int gic_get_c0_fdc_int(void);
138 int gic_get_c0_fdc_int(void) in gic_get_c0_fdc_int() function
