Searched refs:saved_ctlr (Results 1 – 1 of 1) sorted by relevance
51 unsigned int saved_ctlr; member121 gic_data.saved_ctlr = mmio_read_32(gicr_base + GICR_CTLR); in mt_gic_rdistif_save()158 mmio_write_32(gicr_base + GICR_CTLR, gic_data.saved_ctlr); in mt_gic_rdistif_restore()184 mmio_write_32(gicr_base + GICR_CTLR, gic_data.saved_ctlr); in mt_gic_rdistif_restore_all()