Home
last modified time | relevance | path

Searched defs:gicd_set_icpendr (Results 1 – 3 of 3) sorted by relevance

/trusted-firmware-a/drivers/arm/gic/v3/
A Dgicdv3_helpers.c84 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
/trusted-firmware-a/drivers/arm/gic/common/
A Dgic_common.c293 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function
/trusted-firmware-a/drivers/arm/gic/v2/
A Dgicdv2_helpers.c291 void gicd_set_icpendr(uintptr_t base, unsigned int id) in gicd_set_icpendr() function

Completed in 5 milliseconds