109 	uintptr_t gicr_base;  in get_gicr_base()  local
115 	gicr_base = gicv3_driver_data->rdistif_base_addrs[proc_num];  in get_gicr_base()
116 	assert(gicr_base != 0UL);  in get_gicr_base()
118 	return gicr_base;  in get_gicr_base()
121 static bool gicv3_redists_need_power_mgmt(uintptr_t gicr_base)  in gicv3_redists_need_power_mgmt()  argument
123 	uint32_t reg = mmio_read_32(gicr_base + GICR_IIDR);  in gicv3_redists_need_power_mgmt()
152 	uintptr_t gicr_base = get_gicr_base(proc_num);  in gicv3_rdistif_off()  local
155 	if (gicv3_redists_need_power_mgmt(gicr_base)) {  in gicv3_rdistif_off()
156 		gic600_pwr_off(gicr_base);  in gicv3_rdistif_off()
167 	uintptr_t gicr_base = get_gicr_base(proc_num);  in gicv3_rdistif_on()  local
170 	if (gicv3_redists_need_power_mgmt(gicr_base)) {  in gicv3_rdistif_on()
171 		gic600_pwr_on(gicr_base);  in gicv3_rdistif_on()