Searched defs:cpumask (Results 1 – 3 of 3) sorted by relevance
67 rt_uint32_t cpumask = gicv2_cpumask_map(gic); in gicv2_dist_init() local109 rt_uint32_t cpumask; in gicv2_cpu_init() local265 static void gicv2_irq_send_ipi(struct rt_pic_irq *pirq, rt_bitmap_t *cpumask) in gicv2_irq_send_ipi()
917 void rt_pic_irq_send_ipi(int irq, rt_bitmap_t *cpumask) in rt_pic_irq_send_ipi()1183 static char cpumask[RT_CPUS_NR + 1] = { [RT_CPUS_NR] = '\0' }; in list_irq() local
574 static void gicv3_irq_send_ipi(struct rt_pic_irq *pirq, rt_bitmap_t *cpumask) in gicv3_irq_send_ipi()
Completed in 7 milliseconds