Home
last modified time | relevance | path

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

/rk3399_ARM-atf/drivers/arm/gic/v3/
H A Dgicrv3_helpers.c112 void gicr_set_icpendr(uintptr_t base, unsigned int id) in gicr_set_icpendr() function
H A Dgicv3_private.h226 void gicr_set_icpendr(uintptr_t base, unsigned int id);
H A Dgicv3_main.c1257 gicr_set_icpendr( in gicv3_clear_interrupt_pending()