HomeSort by relevance Sort by last modified time
    Searched refs:gicd_write_icpendr (Results 1 - 4 of 4) sorted by null

  /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/common/
gic_common_private.h 56 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val);
gic_common.c 162 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val) function
273 gicd_write_icpendr(base, id, (1 << bit_num));
  /device/linaro/bootloader/arm-trusted-firmware/drivers/arm/gic/
gic_v2.c 117 void gicd_write_icpendr(uintptr_t base, unsigned int id, unsigned int val) function
217 gicd_write_icpendr(base, id, (1 << bit_num));
  /device/linaro/bootloader/arm-trusted-firmware/include/drivers/arm/
gic_v2.h 126 void gicd_write_icpendr(uintptr_t, unsigned int, unsigned int);

Completed in 590 milliseconds