Searched refs:gicr_ctlr (Results 1 – 2 of 2) sorted by relevance
571 rdist_ctx->gicr_ctlr = gicr_read_ctlr(gicr_base); in gicv3_rdistif_save()667 rdist_ctx->gicr_ctlr & ~(GICR_CTLR_EN_LPIS_BIT)); in gicv3_rdistif_init_restore()719 gicr_write_ctlr(gicr_base, rdist_ctx->gicr_ctlr); in gicv3_rdistif_init_restore()
445 uint32_t gicr_ctlr; member