Searched refs:gicd_write_isactiver (Results 1 – 4 of 4) sorted by relevance
| /external/arm-trusted-firmware/drivers/arm/gic/v2/ |
| D | gicdv2_helpers.c | 189 void gicd_write_isactiver(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_isactiver() function
310 gicd_write_isactiver(base, id, (1U << bit_num)); in gicd_set_isactiver()
|
| /external/arm-trusted-firmware/drivers/arm/gic/common/ |
| D | gic_common.c | 191 void gicd_write_isactiver(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_isactiver() function
312 gicd_write_isactiver(base, id, (1U << bit_num)); in gicd_set_isactiver()
|
| D | gic_common_private.h | 61 void gicd_write_isactiver(uintptr_t base, unsigned int id, unsigned int val);
|
| /external/arm-trusted-firmware/drivers/arm/gic/v3/ |
| D | gicdv3_helpers.c | 199 void gicd_write_isactiver(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_isactiver() function
|