Searched refs:GICD_ICFGR (Results 1 – 4 of 4) sorted by relevance
56 #define GICD_ICFGR U(0xc00) macro
115 return mmio_read_32(base + GICD_ICFGR + (n << 2)); in gicd_read_icfgr()228 mmio_write_32(base + GICD_ICFGR + (n << 2), val); in gicd_write_icfgr()
114 return mmio_read_32(base + GICD_ICFGR + (n << 2)); in gicd_read_icfgr()227 mmio_write_32(base + GICD_ICFGR + (n << 2), val); in gicd_write_icfgr()
165 config = mmio_read_32(MT_GIC_BASE + GICD_ICFGR + (irq / 16U) * 4U); in mt_irq_get_sens()