Searched refs:idu_irq_set_tgtcpu (Results 1 – 2 of 2) sorted by relevance
98 idu_irq_set_tgtcpu(cpu, 0x1 << cpu); in iss_model_init_smp()155 void idu_irq_set_tgtcpu(uint8_t irq, uint32_t mask) in idu_irq_set_tgtcpu() function
110 extern void idu_irq_set_tgtcpu(uint8_t irq, uint32_t mask);