Searched refs:devgic (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/drivers/pl390_dist/ |
| H A D | main.c | 23 pl390_gic_dist_t devgic; member in struct:pl390_dist_driver_state
61 pl390_gic_dist_ICDSGIR_wr(&ds->devgic, regval);
66 pl390_gic_dist_initialize(&ds->devgic, reg_base);
69 pl390_gic_dist_ICDICTR_t gic_config = pl390_gic_dist_ICDICTR_rd(&ds->devgic);
85 pl390_gic_dist_ICDDCR_enable_wrf(&ds->devgic, 0x1);
109 pl390_gic_dist_ICDDCR_enable_wrf(&ds->devgic, 0x0);
127 uint32_t regval = pl390_gic_dist_ICDISER_rd(&ds->devgic, ind);
129 pl390_gic_dist_ICDISER_wr(&ds->devgic, ind, regval);
142 pl390_gic_dist_ICDIPR_prio_off0_wrf(&ds->devgic, ind, prio);
145 pl390_gic_dist_ICDIPR_prio_off1_wrf(&ds->devgic, in
[all...] |
Completed in 90 milliseconds