Searched refs:gic_get_c0_fdc_int (Results 1 – 4 of 4) sorted by relevance
33 return gic_get_c0_fdc_int(); in get_c0_fdc_int()
135 return gic_get_c0_fdc_int(); in get_c0_fdc_int()
269 extern int gic_get_c0_fdc_int(void);
292 int gic_get_c0_fdc_int(void) in gic_get_c0_fdc_int() function