Searched refs:gicd_write_ispendr (Results 1 – 4 of 4) sorted by relevance
| /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/common/ |
| D | gic_common.c | 152 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_ispendr() function
266 gicd_write_ispendr(base, id, (1 << bit_num)); in gicd_set_ispendr()
|
| D | gic_common_private.h | 55 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val);
|
| /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/ |
| D | gic_v2.c | 111 void gicd_write_ispendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_ispendr() function
210 gicd_write_ispendr(base, id, (1 << bit_num)); in gicd_set_ispendr()
|
| /device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/ |
| D | gic_v2.h | 125 void gicd_write_ispendr(uintptr_t, unsigned int, unsigned int);
|