Lines Matching defs:driver_data

22 static const gicv2_driver_data_t *driver_data;
39 assert(driver_data != NULL);
40 assert(driver_data->gicc_base != 0U);
50 gicc_write_pmr(driver_data->gicc_base, GIC_PRI_MASK);
51 gicc_write_ctlr(driver_data->gicc_base, val);
62 assert(driver_data != NULL);
63 assert(driver_data->gicc_base != 0U);
66 val = gicc_read_ctlr(driver_data->gicc_base);
70 gicc_write_ctlr(driver_data->gicc_base, val);
81 assert(driver_data != NULL);
82 assert(driver_data->gicd_base != 0U);
84 gicv2_secure_ppi_sgi_setup_props(driver_data->gicd_base,
85 driver_data->interrupt_props,
86 driver_data->interrupt_props_num);
89 ctlr = gicd_read_ctlr(driver_data->gicd_base);
91 gicd_write_ctlr(driver_data->gicd_base,
105 assert(driver_data != NULL);
106 assert(driver_data->gicd_base != 0U);
109 ctlr = gicd_read_ctlr(driver_data->gicd_base);
110 gicd_write_ctlr(driver_data->gicd_base,
114 gicv2_spis_configure_defaults(driver_data->gicd_base);
116 gicv2_secure_spis_configure_props(driver_data->gicd_base,
117 driver_data->interrupt_props,
118 driver_data->interrupt_props_num);
122 gicd_write_ctlr(driver_data->gicd_base, ctlr | CTLR_ENABLE_G0_BIT);
158 driver_data = plat_driver_data;
164 * driver_data to ensure coherency. This is not required if the
169 flush_dcache_range((uintptr_t) &driver_data, sizeof(driver_data));
170 flush_dcache_range((uintptr_t) driver_data, sizeof(*driver_data));
182 assert(driver_data != NULL);
183 assert(driver_data->gicc_base != 0U);
185 gicc_ctlr = gicc_read_ctlr(driver_data->gicc_base);
199 assert(driver_data != NULL);
200 assert(driver_data->gicc_base != 0U);
202 return gicc_read_hppir(driver_data->gicc_base) & INT_ID_MASK;
214 assert(driver_data != NULL);
215 assert(driver_data->gicc_base != 0U);
217 id = gicc_read_hppir(driver_data->gicc_base) & INT_ID_MASK;
224 id = gicc_read_ahppir(driver_data->gicc_base) & INT_ID_MASK;
236 assert(driver_data != NULL);
237 assert(driver_data->gicc_base != 0U);
239 return gicc_read_IAR(driver_data->gicc_base);
248 assert(driver_data != NULL);
249 assert(driver_data->gicc_base != 0U);
260 gicc_write_EOIR(driver_data->gicc_base, id);
271 assert(driver_data != NULL);
272 assert(driver_data->gicd_base != 0U);
274 return gicd_get_igroupr(driver_data->gicd_base, id);
283 assert(driver_data != NULL);
284 assert(driver_data->gicc_base != 0U);
286 return gicc_read_rpr(driver_data->gicc_base);
297 assert(driver_data != NULL);
298 assert(driver_data->gicd_base != 0U);
299 assert(driver_data->target_masks != NULL);
301 assert(proc_num < driver_data->target_masks_num);
304 if (driver_data->target_masks[proc_num] != 0U)
311 if (driver_data->target_masks[proc_num] == 0U) {
312 driver_data->target_masks[proc_num] =
313 gicv2_get_cpuif_id(driver_data->gicd_base);
323 &driver_data->target_masks[proc_num],
324 sizeof(driver_data->target_masks[proc_num]));
335 assert(driver_data != NULL);
336 assert(driver_data->gicd_base != 0U);
339 return gicd_get_isactiver(driver_data->gicd_base, id);
347 assert(driver_data != NULL);
348 assert(driver_data->gicd_base != 0U);
356 gicd_set_isenabler(driver_data->gicd_base, id);
364 assert(driver_data != NULL);
365 assert(driver_data->gicd_base != 0U);
372 gicd_set_icenabler(driver_data->gicd_base, id);
382 assert(driver_data != NULL);
383 assert(driver_data->gicd_base != 0U);
386 gicd_set_ipriorityr(driver_data->gicd_base, id, priority);
395 assert(driver_data != NULL);
396 assert(driver_data->gicd_base != 0U);
403 gicd_set_igroupr(driver_data->gicd_base, id);
406 gicd_clr_igroupr(driver_data->gicd_base, id);
425 assert(driver_data != NULL);
428 assert(driver_data->gicd_base != 0U);
434 assert(driver_data->target_masks != NULL);
435 assert(proc_num < (int)driver_data->target_masks_num);
438 target = driver_data->target_masks[proc_num];
448 gicd_write_sgir(driver_data->gicd_base, sgir_val);
461 assert(driver_data != NULL);
462 assert(driver_data->gicd_base != 0U);
470 assert(driver_data->target_masks != NULL);
472 assert(driver_data->target_masks_num < INT_MAX);
473 assert(proc_num < (int)driver_data->target_masks_num);
480 target = driver_data->target_masks[proc_num];
484 gicd_set_itargetsr(driver_data->gicd_base, id, target);
492 assert(driver_data != NULL);
493 assert(driver_data->gicd_base != 0U);
502 gicd_set_icpendr(driver_data->gicd_base, id);
511 assert(driver_data != NULL);
512 assert(driver_data->gicd_base != 0U);
522 gicd_set_ispendr(driver_data->gicd_base, id);
533 assert(driver_data != NULL);
534 assert(driver_data->gicc_base != 0U);
536 old_mask = gicc_read_pmr(driver_data->gicc_base);
543 gicc_write_pmr(driver_data->gicc_base, mask);
555 gicd_set_icfgr(driver_data->gicd_base, id, cfg);