Searched refs:driver_data (Results 1 – 5 of 5) sorted by relevance
18 static const gicv2_driver_data_t *driver_data; variable35 assert(driver_data); in gicv2_cpuif_enable()36 assert(driver_data->gicc_base); in gicv2_cpuif_enable()46 gicc_write_pmr(driver_data->gicc_base, GIC_PRI_MASK); in gicv2_cpuif_enable()47 gicc_write_ctlr(driver_data->gicc_base, val); in gicv2_cpuif_enable()58 assert(driver_data); in gicv2_cpuif_disable()59 assert(driver_data->gicc_base); in gicv2_cpuif_disable()62 val = gicc_read_ctlr(driver_data->gicc_base); in gicv2_cpuif_disable()66 gicc_write_ctlr(driver_data->gicc_base, val); in gicv2_cpuif_disable()75 assert(driver_data); in gicv2_pcpu_distif_init()[all …]
139 unsigned long driver_data; /* W: driver-specific data */ member
98 unsigned long driver_data; member