Searched refs:SMP_IPI_desc (Results 1 – 4 of 4) sorted by relevance
141 irq_desc_t SMP_IPI_desc[SMP_IRQ_NUM] = {0}; variable
42 irq_desc_t *p = &SMP_IPI_desc[irq_num - 200]; in ipi_regiserIPI()
46 memset((void *)SMP_IPI_desc, 0, sizeof(irq_desc_t) * SMP_IRQ_NUM); in smp_init()
421 irq_desc_t *irq = &SMP_IPI_desc[number - 200]; in do_IRQ()