Home
last modified time | relevance | path

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

/rk3399_ARM-atf/drivers/arm/gic/common/
H A Dgic_common.c180 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()
H A Dgic_common_private.h60 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val);
/rk3399_ARM-atf/drivers/arm/gic/v2/
H A Dgicdv2_helpers.c179 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val) in gicd_write_icpendr() function
296 gicd_write_icpendr(base, id, BIT_32(bit_num)); in gicd_set_icpendr()