Searched refs:gicr_ctlr (Results 1 – 3 of 3) sorted by relevance
109 uint32_t gicr_ctlr; in bl31_platform_setup() local126 gicr_ctlr = gicr_read_ctlr(gicr_base); in bl31_platform_setup()127 gicr_write_ctlr(gicr_base, gicr_ctlr & ~(GICR_CTLR_EN_LPIS_BIT)); in bl31_platform_setup()
592 rdist_ctx->gicr_ctlr = gicr_read_ctlr(gicr_base); in gicv3_rdistif_save()688 rdist_ctx->gicr_ctlr & ~(GICR_CTLR_EN_LPIS_BIT)); in gicv3_rdistif_init_restore()742 gicr_write_ctlr(gicr_base, rdist_ctx->gicr_ctlr); in gicv3_rdistif_init_restore()
509 uint32_t gicr_ctlr; member