Searched refs:gicr_ctlr (Results 1 – 2 of 2) sorted by relevance
510 rdist_ctx->gicr_ctlr = gicr_read_ctlr(gicr_base); in gicv3_rdistif_save()583 rdist_ctx->gicr_ctlr & ~(GICR_CTLR_EN_LPIS_BIT)); in gicv3_rdistif_init_restore()620 gicr_write_ctlr(gicr_base, rdist_ctx->gicr_ctlr); in gicv3_rdistif_init_restore()
327 uint32_t gicr_ctlr; member