Searched refs:saved_ctlr (Results 1 – 1 of 1) sorted by relevance
45 unsigned int saved_ctlr; member115 gic_data.saved_ctlr = mmio_read_32(gicr_base + GICR_CTLR); in mt_gic_rdistif_save()152 mmio_write_32(gicr_base + GICR_CTLR, gic_data.saved_ctlr); in mt_gic_rdistif_restore()178 mmio_write_32(gicr_base + GICR_CTLR, gic_data.saved_ctlr); in mt_gic_rdistif_restore_all()