Searched refs:GICR_CTLR (Results 1 – 2 of 2) sorted by relevance
91 base = (gic_get_rdist() + GICR_CTLR); in gic_wait_rwp()379 ctlr = sys_read32(rdist + GICR_CTLR); in gicv3_rdist_setup_lpis()381 sys_write32(ctlr, rdist + GICR_CTLR); in gicv3_rdist_setup_lpis()401 ctlr = sys_read32(rdist + GICR_CTLR); in gicv3_rdist_setup_lpis()403 sys_write32(ctlr, rdist + GICR_CTLR); in gicv3_rdist_setup_lpis()
33 #define GICR_CTLR 0x0000 macro