Searched refs:gic_get_int (Results 1 – 3 of 3) sorted by relevance
57 unsigned int gic_get_int(void) in gic_get_int() function
337 extern unsigned int gic_get_int(void);
136 irq = gic_get_int(); in malta_ipi_irqdispatch()