Home
last modified time | relevance | path

Searched refs:gicd_set_icpendr (Results 1 – 2 of 2) sorted by relevance

/device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/
Dgic_v2.h181 void gicd_set_icpendr(unsigned int, unsigned int);
/device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/
Dgic_v2.c237 void gicd_set_icpendr(unsigned int base, unsigned int id) in gicd_set_icpendr() function