Searched refs:gicd_write_ispendr (Results 1 – 4 of 4) sorted by relevance
| /rk3399_ARM-atf/drivers/arm/gic/common/ |
| H A D | gic_common.c | 169 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_ispendr() function
290 gicd_write_ispendr(base, id, (1U << bit_num)); in gicd_set_ispendr()
|
| H A D | gic_common_private.h | 59 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val);
|
| /rk3399_ARM-atf/drivers/arm/gic/v2/ |
| H A D | gicdv2_helpers.c | 168 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_ispendr() function
289 gicd_write_ispendr(base, id, BIT_32(bit_num)); in gicd_set_ispendr()
|
| /rk3399_ARM-atf/drivers/arm/gic/v3/ |
| H A D | gicdv3_helpers.c | 227 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_ispendr() function
|