Searched refs:GICD_ITARGETSRB (Results 1 – 1 of 1) sorted by relevance
49 #define GICD_ITARGETSRB(i) *((volatile uint8_t *)(GIC_BASEADDR+0x800+(i))) macro753 GICD_ITARGETSRB(irq_id) = 1 << core_id; in tx_zynqmp_irq_smp_core()