562 			gicv3_redist_ctx_t * const rdist_ctx)  in gicv3_rdistif_save()  argument
571 	assert(rdist_ctx != NULL);  in gicv3_rdistif_save()
592 	rdist_ctx->gicr_ctlr = gicr_read_ctlr(gicr_base);  in gicv3_rdistif_save()
594 	rdist_ctx->gicr_propbaser = gicr_read_propbaser(gicr_base);  in gicv3_rdistif_save()
595 	rdist_ctx->gicr_pendbaser = gicr_read_pendbaser(gicr_base);  in gicv3_rdistif_save()
599 		SAVE_GICR_REG(gicr_base, rdist_ctx, igroupr, i);  in gicv3_rdistif_save()
600 		SAVE_GICR_REG(gicr_base, rdist_ctx, isenabler, i);  in gicv3_rdistif_save()
601 		SAVE_GICR_REG(gicr_base, rdist_ctx, ispendr, i);  in gicv3_rdistif_save()
602 		SAVE_GICR_REG(gicr_base, rdist_ctx, isactiver, i);  in gicv3_rdistif_save()
603 		SAVE_GICR_REG(gicr_base, rdist_ctx, igrpmodr, i);  in gicv3_rdistif_save()
609 		SAVE_GICR_REG(gicr_base, rdist_ctx, icfgr, i);  in gicv3_rdistif_save()
612 	rdist_ctx->gicr_nsacr = gicr_read_nsacr(gicr_base);  in gicv3_rdistif_save()
617 		rdist_ctx->gicr_ipriorityr[i] =  in gicv3_rdistif_save()
637 				const gicv3_redist_ctx_t * const rdist_ctx)  in gicv3_rdistif_init_restore()  argument
646 	assert(rdist_ctx != NULL);  in gicv3_rdistif_init_restore()
688 			rdist_ctx->gicr_ctlr & ~(GICR_CTLR_EN_LPIS_BIT));  in gicv3_rdistif_init_restore()
693 	gicr_write_propbaser(gicr_base, rdist_ctx->gicr_propbaser);  in gicv3_rdistif_init_restore()
694 	gicr_write_pendbaser(gicr_base, rdist_ctx->gicr_pendbaser);  in gicv3_rdistif_init_restore()
698 		RESTORE_GICR_REG(gicr_base, rdist_ctx, igroupr, i);  in gicv3_rdistif_init_restore()
699 		RESTORE_GICR_REG(gicr_base, rdist_ctx, igrpmodr, i);  in gicv3_rdistif_init_restore()
706 					rdist_ctx->gicr_ipriorityr[i]);  in gicv3_rdistif_init_restore()
712 		RESTORE_GICR_REG(gicr_base, rdist_ctx, icfgr, i);  in gicv3_rdistif_init_restore()
715 	gicr_write_nsacr(gicr_base, rdist_ctx->gicr_nsacr);  in gicv3_rdistif_init_restore()
721 		RESTORE_GICR_REG(gicr_base, rdist_ctx, ispendr, i);  in gicv3_rdistif_init_restore()
722 		RESTORE_GICR_REG(gicr_base, rdist_ctx, isactiver, i);  in gicv3_rdistif_init_restore()
733 		RESTORE_GICR_REG(gicr_base, rdist_ctx, isenabler, i);  in gicv3_rdistif_init_restore()
742 	gicr_write_ctlr(gicr_base, rdist_ctx->gicr_ctlr);  in gicv3_rdistif_init_restore()