Searched refs:gic_get_cpu_id (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/irqchip/ | ||
| H A D | arm-gic.h | 155 int gic_get_cpu_id(unsigned int cpu); |
| /linux/drivers/irqchip/ | ||
| H A D | irq-gic.c | 937 int gic_get_cpu_id(unsigned int cpu) in gic_get_cpu_id() function |