Home
last modified time | relevance | path

Searched refs:driver_data (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a/drivers/arm/gic/v2/
A Dgicv2_main.c38 assert(driver_data != NULL); in gicv2_cpuif_enable()
61 assert(driver_data != NULL); in gicv2_cpuif_disable()
80 assert(driver_data != NULL); in gicv2_pcpu_distif_init()
104 assert(driver_data != NULL); in gicv2_distif_init()
168 flush_dcache_range((uintptr_t) &driver_data, sizeof(driver_data)); in gicv2_driver_init()
169 flush_dcache_range((uintptr_t) driver_data, sizeof(*driver_data)); in gicv2_driver_init()
181 assert(driver_data != NULL); in gicv2_is_fiq_enabled()
198 assert(driver_data != NULL); in gicv2_get_pending_interrupt_type()
213 assert(driver_data != NULL); in gicv2_get_pending_interrupt_id()
235 assert(driver_data != NULL); in gicv2_acknowledge_interrupt()
[all …]

Completed in 3 milliseconds