Searched refs:gicd_write_icpendr (Results 1 – 3 of 3) sorted by relevance
| /arm-trusted-firmware-2.8.0/drivers/arm/gic/common/ |
| A D | gic_common.c | 180 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_icpendr() function
297 gicd_write_icpendr(base, id, (1U << bit_num)); in gicd_set_icpendr()
|
| A D | gic_common_private.h | 60 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val);
|
| /arm-trusted-firmware-2.8.0/drivers/arm/gic/v2/ |
| A D | gicdv2_helpers.c | 178 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_icpendr() function
295 gicd_write_icpendr(base, id, (1U << bit_num)); in gicd_set_icpendr()
|
Completed in 4 milliseconds