436 	uintptr_t gicd_base;  in gicv3_get_interrupt_group()  local
750 	uintptr_t gicd_base = gicv3_driver_data->gicd_base;  in gicv3_distif_save()  local
837 	uintptr_t gicd_base = gicv3_driver_data->gicd_base;  in gicv3_distif_init_restore()  local
938 	uintptr_t gicd_base;  in gicv3_get_interrupt_active()  local
964 	uintptr_t gicd_base;  in gicv3_enable_interrupt()  local
996 	uintptr_t gicd_base;  in gicv3_disable_interrupt()  local
1037 	uintptr_t gicd_base;  in gicv3_set_interrupt_priority()  local
1066 	uintptr_t gicd_base;  in gicv3_set_interrupt_group()  local
1187 	uintptr_t gicd_base;  in gicv3_set_spi_routing()  local
1220 	uintptr_t gicd_base;  in gicv3_clear_interrupt_pending()  local
1253 	uintptr_t gicd_base;  in gicv3_set_interrupt_pending()  local